An edition of Deductive Software Verification - the KeY Book
(2016)
Deductive Software Verification - the KeY Book
From Theory to Practice
by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, and Peter H. Schmitt
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer softwareShowing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Deductive Software Verification - the KeY Book: From Theory to Practice
2017, Springer
in English
3319498126 9783319498126
|
aaaa
Libraries near you:
WorldCat
|
|
2
Deductive Software Verification - the KeY Book: From Theory to Practice
2016, Springer International Publishing AG
in English
3319498118 9783319498119
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 27, 2022 | Created by ImportBot | import new book |