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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Thomas Ball
Libristo code: 01562480
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2006
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aide... Full description
? points 249 b
103.12 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Aféra Granvillových Una-Mary Parker / Book Paperback
common.buy 13.06 €
Langenscheidt Die kulinarische Sprachreise Italienisch / Book Hardback
common.buy 15.29 €
HEROIS, MONSTRES I ALTRES MENTIDES DOMINGO MIQUEL / Book Paperback
common.buy 24.51 €
Cherry Bomb Tyler / Audio Audio CD
common.buy 15.39 €
FESTE LIPID-NANOPARTIKEL IN DER WUNDBEHANDLUNG Kanika Dhote / Book Paperback
common.buy 54.39 €
Induzione della fioritura nel pomelo mediante paclobutrazolo Mary Tess Mandantes / Book Paperback
common.buy 35.75 €
Borges. El Misterio Esencial / Borges. the Essential Mystery Willis Barnstone / Book Paperback
common.buy 16.20 €
La reina sola JORGE MOLIST / Book Paperback
common.buy 13.06 €
Microfinance: Maitriser les activités des institutions de microfinance Kawele Kouadio / Book Paperback
common.buy 14.88 €
Patient Scheidungsfamilie Helmuth Figdor / Book Paperback
common.buy 31.29 €
Amazing Spider-Man Návrat ke kořenům Nick Spencer / Book Paperback
common.buy 12.05 €
PREMIER DICTIONNAIRE DE BEBE : COULEURS ET FORMES Bout'chou / Book Paperback
common.buy 6.07 €
Verdinglichung und schulischer Leistungsprozess. Einfuhrung in die Sozialphilosophie Malte Gerhardt / Book Paperback
common.buy 16.20 €
Au Coeur De L'Afrique, 1868-1871 V2: Voyages Et Decouvertes Dans Les Regions Inexplorees De L'Afrique Centrale (1875) Georg August Schweinfurth / Book Paperback
common.buy 38.28 €
Nerudův verš Jakub Říha / Book Paperback
common.buy 5.36 €
Verordnung über die Berufsausbildung zum Brenner/zur Brennerin Antiphon Verlag / Book Paperback
common.buy 11.94 €
Lieder Oswalds von Wolkenstein Burghart Wachinger / Book Paperback
common.buy 22.38 €
Etude Sur La Restauration de la Levre Inferieure, Nouveau Procede de M. Letievant BERNARD-A / Book Paperback
common.buy 15.59 €
Juegos de ingenio John Katzenbach / Book Paperback
common.buy 13.56 €
El Rubius 100% no oficial MARTINA REIS / Book Paperback
common.buy 12.55 €
Organizacja procesowa Piotr Grajewski / Book Paperback
common.buy 14.17 €
Auftakte Uwe David / Book Paperback
common.buy 17.92 €

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.§The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

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 Thomas Ball, Robert B. Jones
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 564
EAN 9783540374060
ISBN 354037406X
Libristo code 01562480
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1780
Dimensions 155 x 235 x 32

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
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

Managing Cybersecurity Risk Jonathan Reuvid / Book Paperback
common.buy 44.46 €
Starling of the White House Edmund W. Starling / Book Paperback
common.buy 28.76 €
For Zion's Sake: Christian Zionism and the Role of John Nelson Darby Paul Richard Wilkinson / Book Paperback
common.buy 34.13 €
Dylan Thomas Rushworth M. Kidder / Book Hardback
common.buy 91.77 €
Inspector Jack Carter Empire Rising Mark Woodcraft / Book Paperback
common.buy 16.70 €
Intelligent Microgrid Management and EV Control Under Uncertainties in Smart Grid Ran Wang / Book Hardback
common.buy 123.68 €
Mae Madden MARY MURDOCH MASON / Book Hardback
common.buy 30.79 €
Assessment of Native Species and Ungulate Grazing in the Southwest: Terrestrial Wildlife United States Department of Agriculture / Book Paperback
common.buy 15.79 €
Mathematical Methods for Physics and Engineering Blennow / Book Paperback
common.buy 167.75 €
Positive Rules! Jennifer L. Simmonds / Book Paperback
common.buy 25.52 €
Top
Short History of England Simon (Columnist) Jenkins / Book Paperback
common.buy 11.54 €
Free Us from Bullying: Real Solutions Beyond Being Nice Paul T Coughlin / Book Paperback
common.buy 13.97 €
WILLOWS AND OTHER STORIES Algernon Blackwood / Book Hardback
common.buy 74.65 €
Conversations On The Catechism Of The Protestant Episcopal Church (1849) William Meade / Book Paperback
common.buy 26.94 €
Brooklyn Vintage Ads Vol 16 Robert a. Henriksen / Book Paperback
common.buy 21.16 €
Quality management and the strategic plan / Book Paperback
common.buy 33.93 €
Five Years On The Inside Fisher Garth D. Fisher / Book Paperback
common.buy 9.41 €
Legacy of Pope Benedict XVI Charles A. Coulombe / E-book Adobe ePub DRM
common.buy 9.82 €
What Went Wrong With Capitalism Ruchir Sharma / Book Hardback
common.buy 26.43 €
Applications of Palynology in Stratigraphy and Climate Studies Bandana Samant / E-book Adobe ePub DRM
common.buy 163.19 €
New
Keeping Contact – Jewish Cultural Initiatives Across Cold War Borders Rebekah Klein–pejsová / Book Hardback
common.buy 137.36 €
Power in Business and the State Frank Bealey / Book Hardback
common.buy 133.51 €
Katherine Mansfield and World War One Gerri Kimber / Book Hardback
common.buy 118.82 €
Revision Notes for the Respiratory Medicine Specialty Certificate Examination Caroline (Specialty Trainee in Respiratory Medicine; North West Thames Rotation) Patterson / Book Paperback
common.buy 100.79 €

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?