You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
975 pages • missing pub info (view editions)
ISBN/UID: 9780262026499
Format: Hardcover
Language: English
Publisher: MIT Press
Edition Pub 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 (view editions)
ISBN/UID: 9780262026499
Format: Hardcover
Language: English
Publisher: MIT Press
Edition Pub 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