Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
27.2% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
My LITERA Point
Terms search
Main
Terms search
search
1
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
Springer-Verlag Berlin Heidelberg
Reiner Hähnle (auth.)
,
Bernhard Beckert
,
Reiner Hähnle
,
Peter H. Schmitt (eds.)
java
key
card
formula
method
variables
ocl
taclet
first
specification
formulae
integer
schema
invariant
syntax
taclets
induction
jml
update
updates
operation
sect
calculus
verification
sequent
formal
function
definition
invariants
transaction
dynamic
valid
methods
context
different
static
programs
statement
implementation
assignment
defined
symbols
correctness
goal
step
operations
specifications
current
reuse
rigid
Year:
2007
Language:
english
File:
PDF, 3.94 MB
Your tags:
0
/
0
english, 2007
2
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
Springer-Verlag Berlin Heidelberg
Reiner Hähnle (auth.)
,
Bernhard Beckert
,
Reiner Hähnle
,
Peter H. Schmitt (eds.)
java
key
card
formula
method
variables
ocl
taclet
first
specification
formulae
integer
schema
invariant
syntax
taclets
induction
jml
update
updates
operation
sect
calculus
verification
sequent
formal
function
definition
invariants
transaction
dynamic
valid
methods
context
different
static
programs
statement
implementation
assignment
defined
symbols
correctness
goal
step
operations
specifications
current
reuse
rigid
Year:
2007
Language:
english
File:
PDF, 5.36 MB
Your tags:
0
/
0
english, 2007
3
Deductive Software Verification – The KeY Book: From Theory to Practice
Springer International Publishing
Wolfgang Ahrendt
,
Bernhard Beckert
,
Richard Bubel
,
Reiner Hähnle
,
Peter H. Schmitt
,
Mattias Ulbrich (eds.)
method
key
java
jml
heap
execution
verification
symbolic
specification
formula
variables
invariant
cited
javadl
methods
programs
figure
taclet
sequent
array
formal
formulas
contracts
syntax
update
specifications
function
abstract
invariants
calculus
ensures
statement
dynamic
clause
implementation
updates
defined
listing
values
clauses
postcondition
cases
taclets
branch
reference
schema
keyword
card
locations
step
Year:
2016
Language:
english
File:
PDF, 8.26 MB
Your tags:
5.0
/
5.0
english, 2016
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×