Scan barcode
975 pages • missing pub info (editions)
ISBN/UID: 9780262026499
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 01 May 2008
Description
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.Our growing dependence on increasingly ...
Community Reviews Summary of 1 rating
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
975 pages • missing pub info (editions)
ISBN/UID: 9780262026499
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 01 May 2008
Description
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.Our growing dependence on increasingly ...
Community Reviews Summary of 1 rating
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.