- 5 Results
Lowest price: € 29.37, highest price: € 96.29, average price: € 74.35
1
Computer Aided Verification
Order
at Springer.com
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link

Computer Aided Verification - new book

ISBN: 9783540631668

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presen… More...

Nr. 978-3-540-63166-8. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00)
close (x)
2
Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings - Grumberg, Orna (Herausgeber)
Order
at Achtung-Buecher.de
€ 96.29
Shipment: € 0.001
Order
Provider details
Sponsored link

Grumberg, Orna (Herausgeber):

Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings - new book

1997, ISBN: 3540631666

1997 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Computerprogrammierung und Sof… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
3
Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings - Grumberg, Orna (Herausgeber)
Order
at Achtung-Buecher.de
€ 96.29
Shipment: € 0.001
Order
Provider details
Sponsored link
Grumberg, Orna (Herausgeber):
Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings - new book

1997

ISBN: 3540631666

1997 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Computerprogrammierung und Sof… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
4
Order
at Biblio.co.uk
$ 33.52
(aprox. € 29.37)
Shipment: € 18.241
Order
Provider details
Sponsored link
Grumberg, Orna [Editor]:
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science) - Paperback

1997, ISBN: 9783540631668

Springer, 1997-06-04. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1997-06-04

Shipping costs: EUR 18.24 GuthrieBooks
close (x)
5
Computer Aided Verification - Orna Grumberg
Order
at lehmanns.de
€ 96.29
Shipment: € 0.001
Order
Provider details
Sponsored link
Orna Grumberg:
Computer Aided Verification - Paperback

1997, ISBN: 9783540631668

9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1997

Shipping costs:Versand in 10-14 Tagen. (EUR 0.00)
close (x)
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
Computer Aided Verification
Author:
Title:
ISBN:

9783540631668


This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

Details of the book - Computer Aided Verification


EAN (ISBN-13): 9783540631668
ISBN (ISBN-10): 3540631666
Paperback
Publishing year: 1997
Publisher: Springer Berlin
504 Pages
Weight: 0,754 kg
Language: eng/Englisch

Book in our database since 2007-04-28T03:38:11+01:00 (London)
Detail page last modified on 2024-01-20T13:11:07+00:00 (London)
ISBN/EAN: 9783540631668

ISBN - alternate spelling:
3-540-63166-6, 978-3-540-63166-8
Alternate spelling and related search-keywords:
Book title: haifa, international 1997, israel intern, cav, israel jahrbuch 1997, computer computer

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

Latest similar book:
9783030255428 Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II Isil Dillig Edito (Isil Dillig; Serdar Tasiran)

< to archive...