Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Computer Aided Verification

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Orna Grumberg
Libristo code: 05274713
Publishers Springer, Berlin, November 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Full description
? points 132 b
54.06 €
105.73  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Book Paperback
common.buy 25.74 € 50.35 лв
Grande Ou Petite Propriété?: Histoire Des Doctrines En France Sur La Répartition Du Sol Et La Transformation Industrielle De L'agriculture... Michel Augé-Laribé / Book Hardback
common.buy 33.76 € 66.03 лв
Handbuch Alzheimer-Krankheit Frank Jessen / E-book Adobe ePub DRM
common.buy 161.64 € 316.14 лв
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Book Paperback
common.buy 26.37 € 51.57 лв
Patron Oro Calderon Ivan Calderon / Book Paperback
common.buy 13.25 € 25.92 лв
Halb so wild Antonia Wien / Book Hardback
common.buy 26.41 € 51.66 лв
Nasadki na ołówki i kredki 2 sztuki / Audio Audio
common.buy 3.34 € 6.52 лв
La lozanía de los inmortales Vera Portocarrero / Book Paperback
common.buy 22.15 € 43.31 лв
Luz Herrera Goya / Book Paperback
common.buy 12.23 € 23.91 лв
Arkham Horror: Lovecraft Letter Zman / Game/Toy Game
common.buy 18.29 € 35.77 лв
Rhapsodie pour un Nouveau Monde Bérard / Book Paperback
common.buy 20.19 € 39.49 лв
Rigenerare il nucleo Yash Wadhwani / Book Paperback
common.buy 79.50 € 155.49 лв
Primiracconti Luisa Brisi / Book Paperback
common.buy 6.01 € 11.75 лв
Mathefreunde - Ausgabe Nord 2010 (Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen-Anhalt) - 4. Schuljahr Edmund Wallis / Book Sheet
common.buy 13.92 € 27.23 лв
AEsthetik nach Wittgenstein Yves Bossart / Book Hardback
common.buy 181.62 € 355.21 лв
zahmen Wilden ... Maria Falkena-Roehrle / Book Paperback
common.buy 18.91 € 36.98 лв
Un éternel prisonnier Dominique Henry / Book Paperback
common.buy 20.81 € 40.70 лв
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Book Hardback
common.buy 23.69 € 46.33 лв
Mehrkomponentenvertrage Benedikt Weisser / Book Paperback
common.buy 35.71 € 69.85 лв
Nuove storie d'ogni colore Emilio De Marchi / Book Paperback
common.buy 14.18 € 27.73 лв
Le Monde extérieur Duras / Book Paperback
common.buy 19.22 € 37.58 лв
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio Audio CD
common.buy 13.31 € 26.02 лв
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Book Paperback
common.buy 60.84 € 119.00 лв
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Book Paperback
common.buy 9.66 € 18.89 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer Aided Verification
Author Orna Grumberg
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 492
EAN 9783540631668
ISBN 3540631666
Libristo code 05274713
Publishers Springer, Berlin
Weight 654
Dimensions 156 x 234 x 25

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Embedded Software and Systems Man Lin / Book Paperback
common.buy 118.15 € 231.07 лв
Advances in Exception Handling Techniques Alexander Romanovsky / Book Paperback
common.buy 54.06 € 105.73 лв
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Book Paperback
common.buy 32.27 € 63.11 лв
The Marauders' Island Tristan J. Tarwater / Book Paperback
common.buy 15.10 € 29.54 лв
A Cook in the Kingdom Daniel Gonzalez / Book Paperback
common.buy 13.25 € 25.92 лв
Finding the Way Home Chris McFarland / Book Paperback
common.buy 8.68 € 16.98 лв
The Lay of Lirazel Stephen R Babb / Book Paperback
common.buy 13.25 € 25.92 лв
Tessili Rogue Robin Stephen / Book Paperback
common.buy 9.61 € 18.79 лв
Edexcel A-level Mathematics Student Book Year 1 and AS Chris Pearce / Book Paperback
common.buy 39.00 € 76.28 лв
Where to Go When The Americas DK / Book Hardback
common.buy 25.33 € 49.54 лв
Complete Guide to POI and Early Menopause Dr Mandy Leonhardt / Book Paperback
common.buy 18.39 € 35.97 лв
The Peacock and the Snake Elija K Soi / Book Paperback
common.buy 15.88 € 31.05 лв
Degree Gradation of Verbs Jens Fleischhauer / Book Paperback
common.buy 41.57 € 81.31 лв
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Book Paperback
common.buy 14.54 € 28.44 лв
Getting to Grips with BIM Graham Paterson / Book Paperback
common.buy 79.96 € 156.39 лв
Talks James E. Potter / Book Paperback
common.buy 22.87 € 44.74 лв
Aye Aye, Professor Tekyp and Hyperbrits: Vol IV Dr Ana Isabel Ordonez / Book Paperback
common.buy 12.38 € 24.21 лв
A Simplified Interpretation of the Book of Revelation: Based Primarily on Two Modern Revelations Given to Us by Jesus in 1908 Walker Thomas / Book Paperback
common.buy 24.30 € 47.53 лв
Speed of Light and the Simplicity RICHARD CLOUGH / Book Hardback
common.buy 30.42 € 59.50 лв
Belief and Evangelism DOUGLAS VICKERS / Book Hardback
common.buy 33.35 € 65.22 лв
William Morley Punshon, preacher and orator, 1824-1881: William M. Punshon / Book Paperback
common.buy 17.01 € 33.26 лв
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Book Paperback
common.buy 107.87 € 210.97 лв
Top
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Book Spiral bound
common.buy 24.92 € 48.74 лв
Running the Show Gill / Book Paperback
common.buy 63.36 € 123.93 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?