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
Software engineering, System designEdition | Availability |
---|---|
1
The Correctness-by-Construction Approach to Programming
May 09, 2014, Springer
paperback
3642448542 9783642448546
|
aaaa
Libraries near you:
WorldCat
|
2
The Correctness-By-Construction Approach to Programming
Apr 18, 2012, Springer
paperback
3642279201 9783642279201
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?December 29, 2021 | Edited by ImportBot | import existing book |
August 14, 2020 | Created by ImportBot | import new book |