- 0 Results
Lowest price: € 1.01, highest price: € 83.23, average price: € 32.46
1
Model checking - Clarke Jr, E.M. Grumberg, O. Peled, D.
Order
at Studystore.nl
€ 83.23
Order
Sponsored link
Clarke Jr, E.M. Grumberg, O. Peled, D.:

Model checking - new book

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

new Shipping costs:zzgl. Versandkosten., plus shipping costs studystore.nl
2
Clarke, E: Model Checking (Cyber Physical Systems) - Clarke, Edmund M.
Order
at amazon.de
€ 3.94
Shipment: € 3.001
Order
Sponsored link

Clarke, Edmund M.:

Clarke, E: Model Checking (Cyber Physical Systems) - hardcover

2000, ISBN: 9780262032704

Mit University Press Group Ltd, Gebundene Ausgabe, 314 Seiten, Publiziert: 2000-02-04T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 99, 1.55 kg, Verkaufsrang: 6881, Informatik, IT-Ausbi… More...

Gut Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) reBuy reCommerce GmbH
3
Clarke, E: Model Checking (Cyber Physical Systems) - Clarke, Edmund M.
Order
at amazon.de
€ 71.30
Shipment: € 3.001
Order
Sponsored link
Clarke, Edmund M.:
Clarke, E: Model Checking (Cyber Physical Systems) - hardcover

2000

ISBN: 9780262032704

Mit University Press Group Ltd, Gebundene Ausgabe, 314 Seiten, Publiziert: 2000-02-04T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 99, 1.55 kg, Verkaufsrang: 6881, Informatik, IT-Ausbi… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
4
Order
at AbeBooks.de
€ 2.84
Shipment: € 29.411
Order
Sponsored 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)]
5
Order
at Biblio.co.uk
$ 1.11
(aprox. € 1.01)
Shipment: € 7.181
Order
Sponsored link
Clarke, E.M., Grumberg, O. & Peled, D.A.:
Model Checking (Cyber Physical Systems Series) - hardcover

2000, ISBN: 9780262032704

MIT Press, 2000. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image … More...

Shipping costs: EUR 7.18 Anybook Ltd

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.
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 2022-04-11T09:41:42+01:00 (London)
ISBN/EAN: 0262032708

ISBN - alternate spelling:
0-262-03270-8, 978-0-262-03270-4


More/other books that might be very similar to this book

Latest similar book:
9780262292740 Model Checking (Edmund M. Clarke; Orna Grumberg; Doron Peled)


< to archive...