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
Content Warnings
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
Content Warnings