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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Tayssir Touili
Libristo code: 01656210
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Full description
? points 292 b
119.39 € VAT included
In stock at our supplier Shipping in 14-21 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Vitametrie® Joachim Heuser / Book Paperback
common.buy 17.69 €
Inklusive Schule und Vielfalt Gottfried Biewer / Book Paperback
common.buy 25.00 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Book Paperback
common.buy 44.90 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Book Paperback
common.buy 79.99 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Game/Toy Toy
common.buy 4.49 €
A Business Proposal n? 03 Narak / Book Paperback
common.buy 18.59 €
Harry Potter és a Félvér Herceg - Hollóhátas Joanne K. Rowling / Book Hardback
common.buy 25.09 €
Top
Plastic Hearts Miley Cyrus / Audio Audio CD
common.buy 18.99 €
Hermann von Salza Heinrich Hävernick / Book Paperback
common.buy 24.90 €
Orta in giallo Erica Gibogini / Book Paperback
common.buy 14.29 €
Borkum einst und jetzt B. Huismann / Book Paperback
common.buy 17.90 €
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Book Paperback
common.buy 15.39 €
Israel Gerrit Michel / Book Paperback
common.buy 51.99 €
Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Book Paperback
common.buy 48.49 €
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Book Paperback
common.buy 50.59 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Book Paperback
common.buy 43.29 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Book Paperback
common.buy 16.99 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Tayssir Touili, Byron Cook, Paul Jackson
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 676
EAN 9783642142949
ISBN 364214294X
Libristo code 01656210
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 961
Dimensions 155 x 238 x 28

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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 > Information technology: general issues
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

Spatial Analysis and GeoComputation Manfred M. Fischer / Book Paperback
common.buy 107.29 €
Research in Computational Molecular Biology Benny Chor / Book Paperback
common.buy 59.39 €
Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Book Hardback
common.buy 117.99 €
Researches on Increasing the Performances of Renewable Energy Sources Petru Livinti / Book Paperback
common.buy 22.49 €
Laparoscopic Colorectal Surgery Mark Coleman / Book Hardback
common.buy 303.69 €
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Book Paperback
common.buy 17.79 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Book Paperback
common.buy 46.59 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Book Paperback
common.buy 8.89 €
How To Create, Market & Sell Audiobooks: What Every Author Should Know About Audiobook Leland Benton / Book Paperback
common.buy 10.69 €
The Pathfinder; Or, The Inland Sea James Fenimore Cooper / Book Paperback
common.buy 8.89 €
Double Exposure: A Twin Autobiography Thelma Furness / Book Hardback
common.buy 51.39 €
Ink Stained Hands Jennifer Rapp / Book Paperback
common.buy 15.39 €
C++ Reactive Programming Peter Abraham / Book Paperback
common.buy 51.39 €
Top
Flash by Geoff Johns Omnibus Vol. 1 Geoff Johns / Book Hardback
common.buy 76.19 €
Moult and Ageing of European Passerines Lukas Jenni / Book Hardback
common.buy 96.99 €
Practical Guide to Managing Clinical Trials Pfeiffer / Book Paperback
common.buy 74.39 €
Pale Horse Rider Mark Jacobson / E-book Adobe ePub DRM
common.buy 19.69 €
100 Things Bills Fans Should Know & Do Before They Die Jeffrey J. Miller / E-book Adobe ePub DRM
common.buy 13.39 €
Golden Chain Algis Uzdavinys / E-book Adobe ePub DRM
common.buy 41.59 €
It's Only Me John Underwood / E-book Adobe ePub DRM
common.buy 25.49 €
Kid's Box New Generation Level 1 Posters British English Caroline Nixon / Printed items Poster
common.buy 25.79 €
Mathematical Aspects of Paradoxes in Cosmology Michal Krízek / Book Hardback
common.buy 160.89 €
Illustrated Bible Stories Various / Book Hardback
common.buy 16.89 €
Coercion and Conciliation in Ireland 1880-1892 Lewis Perry Curtis / Book Paperback
common.buy 92.09 €

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?