1998, ISBN: 9780262032704
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional … Mehr…
BetterWorldBooks.com used in stock. Versandkosten:zzgl. Versandkosten. Details... |
1999, ISBN: 0262032708
[EAN: 9780262032704], Gebraucht, guter Zustand, [PU: The MIT Press], Connecting readers with great books since 1972. Used books may not include companion materials, some shelf wear, may c… Mehr…
AbeBooks.de HPB-Red, Dallas, TX, U.S.A. [71054723] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 29.41 Details... |
1999, ISBN: 0262032708
[EAN: 9780262032704], Gebraucht, sehr guter Zustand, [PU: The MIT Press], Connecting readers with great books since 1972! Used books may not include companion materials, and may have some… Mehr…
AbeBooks.de Half Price Books Inc., Dallas, TX, U.S.A. [65444892] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 140.75 Details... |
1999, ISBN: 9780262032704
The MIT Press, 12/20/1999. hardcover. Like New. 9x7x0. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages., The MIT Press, 12/20/1999, 5
Biblio.co.uk |
ISBN: 9780262032704
Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages., 2.5
Biblio.co.uk |
1998, ISBN: 9780262032704
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional … Mehr…
Doron A. Peled,Orna Grumberg,Edmund M. Clarke Jr.:
Model Checking (Cyber Physical Systems Series) - gebunden oder broschiert1999, ISBN: 0262032708
[EAN: 9780262032704], Gebraucht, guter Zustand, [PU: The MIT Press], Connecting readers with great books since 1972. Used books may not include companion materials, some shelf wear, may c… Mehr…
1999
ISBN: 0262032708
[EAN: 9780262032704], Gebraucht, sehr guter Zustand, [PU: The MIT Press], Connecting readers with great books since 1972! Used books may not include companion materials, and may have some… Mehr…
1999, ISBN: 9780262032704
The MIT Press, 12/20/1999. hardcover. Like New. 9x7x0. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages., The MIT Press, 12/20/1999, 5
ISBN: 9780262032704
Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages., 2.5
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Clarke, E: Model Checking (Cyber Physical Systems)
EAN (ISBN-13): 9780262032704
ISBN (ISBN-10): 0262032708
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1999
Herausgeber: Mit University Press Group Ltd
330 Seiten
Gewicht: 0,703 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-28T10:08:01+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-11T14:51:33+01:00 (Berlin)
ISBN/EAN: 0262032708
ISBN - alternative Schreibweisen:
0-262-03270-8, 978-0-262-03270-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: clarke, doron, edmund clark, edmund paris, peled
Titel des Buches: model
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780262270458 Model Checking (Edmund M. Clarke Jr.)
< zum Archiv...