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 softwareEdition | 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 |