Items related to Model Checking (Cyber Physical Systems Series)
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: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 7944438-20
Stock Image
Model Checking
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 4269037-20
Seller Image
Model Checking
Seller: MusicMagpie, Stockport, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 1776693002. 4/20/2026 1:50:02 PM. Seller Inventory # U9780262032704
Buy Used
£ 5.59
£ 5.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Model Checking
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0262032708I3N01
Stock Image
Model Checking (Cyber Physical Systems Series)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR007095215
Buy Used
£ 7.24
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Model Checking
Seller: Fulano Books, Cambridge, MA, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. 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
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