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.
Buy New
View this item
£ 47.10
FREE shipping from U.S.A. to United Kingdom
Destination, rates & speedsSearch results for Model Checking (Cyber Physical Systems Series)
Stock Image
Model Checking
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 7944438-20
Quantity: 1 available
Stock Image
Model Checking
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # 4269037-20
Quantity: 1 available
Stock Image
Model Checking
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.64. Seller Inventory # G0262032708I4N01
Quantity: 1 available
Stock Image
Model Checking
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.64. Seller Inventory # G0262032708I4N00
Quantity: 1 available
Stock Image
Model Checking
Seller: Bellwetherbooks, McKeesport, PA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Seller Inventory # 401256
Quantity: 19 available
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
Quantity: 2 available
Stock Image
Model Checking
Seller: Fulano Books, Cambridge, MA, U.S.A.
Seller rating 4 out of 5 stars
Like New+ condition; some coloration imperfections but otherwise impressively clean copy; dust cover not included. Seller Inventory # V6-BO3E-AQNE
Quantity: 1 available
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
Quantity: 1 available
Stock Image
Model Checking
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHUB69440
Quantity: 2 available
Stock Image
Model Checking
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 334. Seller Inventory # 8203158
Quantity: 1 available