Computer Aided VerificationDaniel Kroening
Computer Aided Verification
Daniel Kroening, Corina S. Păsăreanu · 2015
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
- 2015
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 5
- Pages
- 677
- ISBN
- 9783319216904
Data source: Wikidata
