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 … More...
BetterWorldBooks.com used in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs 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… More...
AbeBooks.de HPB-Red, Dallas, TX, U.S.A. [71054723] [Rating: 5 (von 5)] NOT NEW BOOK. Shipping costs: 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… More...
AbeBooks.de Half Price Books Inc., Dallas, TX, U.S.A. [65444892] [Rating: 5 (von 5)] NOT NEW BOOK. Shipping costs: 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 … More...
Doron A. Peled,Orna Grumberg,Edmund M. Clarke Jr.:
Model Checking (Cyber Physical Systems Series) - hardcover1999, 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… More...
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… More...
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
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Clarke, E: Model Checking (Cyber Physical Systems)
EAN (ISBN-13): 9780262032704
ISBN (ISBN-10): 0262032708
Hardcover
Paperback
Publishing year: 1999
Publisher: Mit University Press Group Ltd
330 Pages
Weight: 0,703 kg
Language: eng/Englisch
Book in our database since 2007-05-28T09:08:01+01:00 (London)
Detail page last modified on 2023-12-11T13:51:33+00:00 (London)
ISBN/EAN: 0262032708
ISBN - alternate spelling:
0-262-03270-8, 978-0-262-03270-4
Alternate spelling and related search-keywords:
Book author: clarke, doron, edmund clark, edmund paris, peled
Book title: model
More/other books that might be very similar to this book
Latest similar book:
9780262270458 Model Checking (Edmund M. Clarke Jr.)
< to archive...