- 5 Results
Lowest price: € 2.84, highest price: € 14.42, average price: € 6.79
1
Model Checking by Orna, Clarke, Edmund M., Peled, Doron Grumberg - Orna, Clarke, Edmund M., Peled, Doron Grumberg
Order
at BetterWorldBooks.com
€ 5.68
OrderSponsored link
Orna, Clarke, Edmund M., Peled, Doron Grumberg:

Model Checking by Orna, Clarke, Edmund M., Peled, Doron Grumberg - used book

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...

used in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
2
Order
at AbeBooks.de
€ 2.84
Shipment: € 29.411
OrderSponsored link

Doron A. Peled,Orna Grumberg,Edmund M. Clarke Jr.:

Model Checking (Cyber Physical Systems Series) - hardcover

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...

NOT NEW BOOK. Shipping costs: EUR 29.41 HPB-Red, Dallas, TX, U.S.A. [71054723] [Rating: 5 (von 5)]
3
Model Checking (Cyber-Physical Systems) - Doron A. Peled,Orna Grumberg,Edmund M. Clarke Jr.
Order
at AbeBooks.de
CHF 3.62
(aprox. € 3.84)
Shipment: € 140.751
OrderSponsored link
Doron A. Peled,Orna Grumberg,Edmund M. Clarke Jr.:
Model Checking (Cyber-Physical Systems) - hardcover

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...

NOT NEW BOOK. Shipping costs: EUR 140.75 Half Price Books Inc., Dallas, TX, U.S.A. [65444892] [Rating: 5 (von 5)]
4
Order
at Biblio.co.uk
$ 15.54
(aprox. € 14.42)
Shipment: € 18.291
OrderSponsored link
Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled:
Model Checking (Cyber Physical Systems Series) - hardcover

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

Shipping costs: EUR 18.29 Spellbound
5
Order
at Biblio.co.uk
$ 7.71
(aprox. € 7.15)
Shipment: € 9.281
OrderSponsored link
Grumberg, Orna, Clarke, Edmund M., Peled, Doron:
Model Checking - used book

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

Shipping costs: EUR 9.28 Better World Books

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Clarke, E: Model Checking (Cyber Physical Systems)

-- R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories

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...