Verwandte Artikel zu Model Checking (Cyber Physical Systems Series)
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorinnen und Autoren
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gebraucht kaufen
Zustand: BefriedigendUsed book that is in clean, average...
Diesen Artikel anzeigen
EUR 7,81
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 51,82
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Model Checking (Cyber Physical Systems Series)
Beispielbild für diese ISBN
Model Checking
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 4269037-20
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.64. Bestandsnummer des Verkäufers G0262032708I4N01
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.64. Bestandsnummer des Verkäufers G0262032708I4N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking (Cyber-Physical Systems)
Anbieter: Half Price Books Inc., Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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! Bestandsnummer des Verkäufers S_427289324
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Bestandsnummer des Verkäufers 7944438-20
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking
Anbieter: Bellwetherbooks, McKeesport, PA, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Fine. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Bestandsnummer des Verkäufers 401256
Anzahl: 19 verfügbar
Beispielbild für diese ISBN
Model Checking
Anbieter: Fulano Books, Cambridge, MA, USA
Verkäuferbewertung 4 von 5 Sternen
Like New+ condition; some coloration imperfections but otherwise impressively clean copy; dust cover not included. Bestandsnummer des Verkäufers V6-BO3E-AQNE
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking (Cyber Physical Systems Series)
Anbieter: Goodvibes Books, STAFFORD, TX, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. New Book. Bestandsnummer des Verkäufers 0262032708-SBX
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Model Checking (Cyber Physical Systems Series)
Anbieter: The Book Spot, Sioux Falls, MN, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Bestandsnummer des Verkäufers Abebooks67126
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking (OP)
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-67406
Anzahl: 2 verfügbar