Synopsis
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
"synopsis" may belong to another edition of this title.
About the Authors
Edmund M. Clark, Jr., is Professor of Computer Science at Carnegie Mellon University.
. Orna Grumberg is Professor of Computer Science at Technion, Israel Institute of Technology.
Doron Peleg has worked in both academia and industry. He has taught Finance and Entrepreneurial Management at institutions of higher education including Hunter and Lehman colleges in New York City and Tel Aviv and Tel Hai colleges in Israel.
"About this title" may belong to another edition of this title.
Search results for Model Checking (Cyber Physical Systems Series)
Stock Image
Model Checking
Seller: Evergreen Goodwill, Seattle, WA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Seller Inventory # mon0000405159
Seller Image
Model Checking
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Seller Inventory # BSM.W4EP
Stock Image
Model Checking
Seller: Bellwetherbooks, McKeesport, PA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting. Seller Inventory # mon0000006934
Stock Image
Model Checking (Cyber-Physical Systems)
Seller: Half Price Books Inc., Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_463868394
Stock Image
Model Checking
Seller: Fulano Books, Cambridge, MA, U.S.A.
Seller rating 3 out of 5 stars
Like New+ condition; some coloration imperfections but otherwise impressively clean copy; dust cover not included. Seller Inventory # V6-BO3E-AQNE
Stock Image
Model Checking
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: as new. Wie neu/Like new. Seller Inventory # M00262032708-N
Stock Image
Model Checking (OP)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-67406
Stock Image
MODEL CHECKING
Published by
The MIT Press, Cambridge, MA, 1999
ISBN 10: 0262032708
ISBN 13: 9780262032704
Used
Hardcover
First Edition
Seller: J. Wyatt Books, Ottawa, ON, Canada
Seller rating 5 out of 5 stars
Hardcover. Condition: Near Fine. Dust Jacket Condition: Near Fine. First Edition. 314 pages in excellent condition. Blue cloth with silver titles Corners not bumped. White DJ with illustration and green titles. Very light wear on jacket. NEAR FINE/NEAR FINE. Book. Seller Inventory # 205650
Seller Image
Model Checking (Cyber Physical Systems Series)
Seller: Books & Bobs, Deeside, FLINT, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. Clean blue boards, with gilt titles to spine and an unclipped DW. Contents are tight, bright and clean, with no inscriptions, no annotations, and no foxing. 314pp. (18.5x23.5cm). Please contact us for any more information. Seller Inventory # 6370
Buy Used
£ 50
£ 14.95 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Model Checking (Cyber Physical Systems Series)
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0262032708