Principles of Model Checking - Info and Reading Options
By Christel Baier
"Principles of Model Checking" is published by The MIT Press in May 31, 2008, it has 936 pages and the language of the book is English.
“Principles of Model Checking” Metadata:
- Title: Principles of Model Checking
- Author: Christel Baier
- Language: English
- Number of Pages: 936
- Publisher: The MIT Press
- Publish Date: May 31, 2008
“Principles of Model Checking” Subjects and Themes:
- Subjects: ➤ Computer systems - Verification - Computer software - Systems software - Computer software, verification - Quality control & testing - programming - General & miscellaneous computing
Edition Specifications:
- Format: Hardcover
- Weight: 1 pounds
- Dimensions: 10 x 8 x 1 inches
Edition Identifiers:
- The Open Library ID: OL10236810M - OL17832746W
- Online Computer Library Center (OCLC) ID: 171152628
- Library of Congress Control Number (LCCN): 2007037603
- ISBN-13: 9780262026499
- ISBN-10: 026202649X
- All ISBNs: 026202649X - 9780262026499
AI-generated Review of “Principles of Model Checking”:
Read “Principles of Model Checking”:
Read “Principles of Model Checking” by choosing from the options below.
Search for “Principles of Model Checking” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Principles of Model Checking” in Libraries Near You:
Read or borrow “Principles of Model Checking” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Principles of Model Checking” at a library near you.
Buy “Principles of Model Checking” online:
Shop for “Principles of Model Checking” on popular online marketplaces.
- Ebay: New and used books.