Computer Aided VerificationHana Chockler
Computer Aided Verification
Hana Chockler, Georg Weissenbacher · 2020
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
- 2020
- Publisher
- Saint Philip Street Press
- Editions
- 6
- Pages
- 554
- ISBN
- 9781013271014
Data source: Wikidata
