Verification, Model Checking, and Abstract InterpretationConstantin Enea
Verification, Model Checking, and Abstract Interpretation
Constantin Enea, Ruzica Piskac · 2019
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.
About the book
pages cm
Book details
- Year
- 2019
- Publisher
- Springer
- Editions
- 1
- Pages
- 619
- ISBN
- 9783030112448
Data source: Wikidata