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

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Gerard Berry
Libristo code: 01563631
Publishers Springer, Berlin, November 2006
This book constitutes the refereed proceedings of the 13th International Conference on Computer Aide... Full description
? points 263 b
107.89 €
211.02  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

La prostitution comme une manière de raconter la ville Charreyron / Book Paperback
common.buy 21.43 € 41.91 лв
Laços Tóxicos Alexandre Marques / Book Paperback
common.buy 9.09 € 17.78 лв
Uprawlenie cepqmi postawok i logistikoj Chethan S / Book Paperback
common.buy 41.27 € 80.72 лв
La Lanterne du Jugement - Tome 1 - Éveil DARKAALE / Book Paperback
common.buy 26.52 € 51.87 лв
Brotarán cuentos Beatriz Giménez de Ory / Book Paperback
common.buy 19.17 € 37.49 лв
Top
tRENDrakó - Az ecetes srác jegyzetei Bartus Marcell / Book Hardback
common.buy 18.65 € 36.48 лв
Le Regime Fiscal Des Successions Dans Les Pays Extra-Europeens Salefranque-L / Book Paperback
common.buy 13.26 € 25.93 лв
Wirklichkeitskonstruktion in deutschen Fernsehserien Sabine Wipperfürth / Book Paperback
common.buy 26.36 € 51.57 лв
Biologische Geographie Hermann Wagner / Book Paperback
common.buy 46.82 € 91.58 лв
Budapest / Printed items Map
common.buy 10.02 € 19.59 лв
Chemie fur Ingenieure Jan Hoinkis / Book Paperback
common.buy 51.40 € 100.53 лв
Sinfonien 1 Aldo/Bergen PO Ceccato / Audio Audio CD
common.buy 24.01 € 46.96 лв
Cuerpo Superior de Administradores [Especialidad Administradores Generales (A1 1100)] de la Junta de Andalucía. Test. Volumen I / Book Paperback
common.buy 48.47 € 94.80 лв
La asertividad : para gente extraordinaria EVA BACH COBACHO / Book Paperback
common.buy 30.12 € 58.90 лв
Musikalische Poetik Bruno Madernas Markus Fein / Book Paperback
common.buy 99.56 € 194.73 лв
Le Collier de L'esclave Amanda Roberts / E-book Adobe ePub DRM
common.buy 7.09 € 13.87 лв
Gramatika současné finštiny neuvedený autor / Book Paperback
common.buy 11.35 € 22.21 лв
Il diavolo nella bottiglia: Traduzione italiana con testo a fronte Robert Louis Stevenson / Book Paperback
common.buy 12.33 € 24.12 лв
MODELOS DE GESTIÓN EN INNOVACIÓN EN TURISMO MANUEL FIGUEROLA / Book Book
common.buy 65.64 € 128.37 лв
Les quatre vies du saule Shan Sa / Book Book
common.buy 30.12 € 58.90 лв
Alpha & Omega, T5 : Dans la gueule du loup Patricia Briggs / Book Paperback
common.buy 12.33 € 24.12 лв
Coming soon
CIUDAD. CUADERNO DE VOCABULARIO áRABE, LA ANAYA HORTAL / Book Book
common.buy 5.65 € 11.05 лв
HA.DE LA ARQUITECTURA VELARDE / Book Book
common.buy 11.15 € 21.81 лв

This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001.§The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

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 Gerard Berry, Hubert Comon, Alain Finkel
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 522
EAN 9783540423454
ISBN 3540423451
Libristo code 01563631
Publishers Springer, Berlin
Weight 794
Dimensions 155 x 233 x 28

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Database programming
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
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Computing & Information Technology > Databases
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

Intelligence and Artificial Intelligence Ulrich Ratsch / Book Paperback
common.buy 107.89 € 211.02 лв
Microbial Natural Products Chemistry Taícia Pacheco Fill / Book Hardback
common.buy 237.02 € 463.56 лв
MONTALBERT: A NOVEL, VOLUME 2 CHARLOTTE TUR SMITH / Book Hardback
common.buy 34.18 € 66.85 лв
Railways of South and West Scotland Ian Lothian / Book Paperback
common.buy 18.09 € 35.38 лв
Next of Kin Wanted Matilda Betham-Edwards / Book Hardback
common.buy 35.15 € 68.76 лв
Wehman's 10c. Cook Book Henry J. Wehman / Book Paperback
common.buy 12.33 € 24.12 лв
If Your Enemy Hungers, Feed Him ROBERT E HOOPER / Book Paperback
common.buy 29.14 € 56.99 лв
Don't Be Quiet, Start a Riot! Essays on Feminism and Performance Tiina Rosenberg / Book Paperback
common.buy 20.71 € 40.51 лв
The Railway Revolution in Mexico Bernard Moses / Book Paperback
common.buy 16.96 € 33.17 лв
Bubbles Joshua Martinez / Book Paperback
common.buy 17.68 € 34.57 лв
All Measures Short of War Thomas J Wright / Book Paperback
common.buy 20.86 € 40.81 лв
U.S.-Japan Science and Technology Agreement: A Drama in Five Acts UYEHARA / Book Paperback
common.buy 81.78 € 159.94 лв
Twinflame Shananda / Book Hardback
common.buy 37.88 € 74.09 лв
Blame Me Verland Marshall / Book Paperback
common.buy 16.03 € 31.36 лв
Registered: A Guide for Protecting Your Business, Brand & Bucks Michelle J. Miller / Book Paperback
common.buy 19.73 € 38.60 лв
Four American Universities: Harvard, Yale, Princeton, Columbia William Milligan Sloane / Book Paperback
common.buy 21.64 € 42.32 лв
Tales of Prophet Yunus (Jonah) English Edition Muhammad Vandestra / E-book Adobe ePub DRM
common.buy 1.38 € 2.71 лв
Social Aesthetics and Moral Judgment Jennifer A. McMahon / E-book Adobe ePub DRM
common.buy 70.24 € 137.38 лв
History of Philosophy and the Reflective Society Riccardo Pozzo / Book Hardback
common.buy 100.85 € 197.24 лв
Electric Power and Energy Distribution Systems - Models, Methods, and Applications Anil Pahwa / Book Hardback
common.buy 141.66 € 277.07 лв
Build It! Things That Go Jennifer Kemmeter / Book Paperback
common.buy 14.59 € 28.54 лв
Prince of Control Renee Rose / Book Paperback
common.buy 13.05 € 25.53 лв
Coming soon
Science and Engineering of Cutting Antony Atkins / Book Paperback
common.buy 66.05 € 129.18 лв
Usefulness in Small Things Kim Colin / Book Paperback
common.buy 40.60 € 79.41 лв

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?