The Correctness-by-Construction Approach to ProgrammingDerrick G. Kourie
The Correctness-by-Construction Approach to Programming
Derrick G. Kourie, Bruce W. Watson · 2012
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2012
- Publisher
- Springer
- Editions
- 2
- Pages
- 280
- ISBN
- 9783642279201
Data source: Wikidata