Model Checking, Second EditionOrna Grumberg
Model Checking, Second Edition
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith · 2018
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
- 2018
- Language
- English
- Publisher
- MIT Press
- Editions
- 1
- Pages
- 424
- ISBN
- 9780262349451
Data source: Wikidata
More by Orna Grumberg
Computer Aided VerificationOrna Grumberg
Computer Aided Verification
Orna Grumberg · 1997
25 Years Of Model Checking History Achievements PerspectivesOrna Grumberg
25 Years Of Model Checking History Achievements Perspectives
Orna Grumberg · 2008
Languages From Formal to Natural Lecture Notes in Computer ScienceOrna Grumberg
Languages From Formal to Natural Lecture Notes in Computer Science
Orna Grumberg · 2009
Languages : from Formal to NaturalOrna Grumberg
Languages : from Formal to Natural
Orna Grumberg · 2009
25 Years of Model CheckingOrna Grumberg
25 Years of Model Checking
Orna Grumberg · 2008
Tools and Algorithms for the Construction and Analysis of SystemsOrna Grumberg
Tools and Algorithms for the Construction and Analysis of Systems
Orna Grumberg · 2007