Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Subjects
MathematicsEdition | Availability |
---|---|
1
Concise Guide to Software Verification: From Model Checking to Annotation Checking
2024, Springer International Publishing AG
in English
3031301692 9783031301698
|
zzzz
Libraries near you:
WorldCat
|
2
Concise Guide to Software Verification: From Model Checking to Annotation Checking
2023, Springer International Publishing AG
in English
3031301668 9783031301667
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?June 17, 2023 | Created by ImportBot | import new book |