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

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Libristo code: 01655343
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Full description
? points 148 b
60.39 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Augusto Giacometti Beat Stutzer / Book Paperback
common.buy 48.00 €
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Book Paperback
common.buy 18.69 €
Die besten Übungen für den Atlas-Wirbel Heike Höfler / Book Paperback
common.buy 19.00 €
Plansza dwustronna A4 ściąga Europa / Book binding.
common.buy 1.79 €
Le Coran expliqué aux jeunes Rachid Benzine / Book Paperback
common.buy 12.79 €
Des petits mondes en leur début / Book Paperback
common.buy 36.49 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-book Adobe ePub DRM
common.buy 14.99 €
Joan Miro TBD / Book Hardback
common.buy 42.89 €
Dawit Isaak Anisur Rahman / Book Paperback
common.buy 25.99 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Book Book
common.buy 13.89 €
Kamumemoár James Blunt / Book Hardback
common.buy 16.49 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Book Paperback
common.buy 32.19 €
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Book Hardback
common.buy 10.09 €
Transiciones e Interacciones en la Sociedad del Conocimiento Johanna Pérez Daza / Book Paperback
common.buy 54.99 €
Moje plány Jan Sokol / Book Paperback
common.buy 15.59 €
Holašovice: Vesnická památková rezervace collegium / Book Sheet
common.buy 13.09 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Book binding.
common.buy 3.69 €
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Book Paperback
common.buy 17.95 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Book Paperback
common.buy 44.99 €
Burenkrieg (1899-1902) Burkhard Werner / Book Paperback
common.buy 14.99 €
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Book Hardback
common.buy 54.00 €
Indische Reisebriefe Ernst Haeckel / Book Paperback
common.buy 39.90 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Book Paperback
common.buy 34.99 €
Gottfried Keller Albert Köster / Book Paperback
common.buy 26.09 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

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 Verification, Model Checking, and Abstract Interpretation
Author Gilles Barthe, Manuel Hermenegildo
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 397
EAN 9783642113185
ISBN 3642113184
Libristo code 01655343
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 612
Dimensions 155 x 235 x 23

Categories

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 > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Bio-Inspired Computing and Applications De-Shuang Huang / Book Paperback
common.buy 60.39 €
Dominoes: Three: The Secret Agent Joseph Conrad / Book Paperback
common.buy 14.49 €
Think Starter Workbook with Online Practice Herbert Puchta / Book Hardback
common.buy 10.59 €
Implementation, Usage and Advantages of Cloud Computing within Project Management using the example of an Offshore Wind Farm Project Andreas Hoppe / Book Paperback
common.buy 40.09 €
Changing Room Zhai Yongming / Book Paperback
common.buy 19.69 €
Torn in the New Sa Bronwyn McIntosh / Book Paperback
common.buy 24.89 €
English Physician's Guide or a Holy Guide V1 John Heydon / Book Hardback
common.buy 62.19 €
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Book Paperback
common.buy 29.29 €
REASONABLE SERVICE WILLIAM PAG ROBERTS / Book Hardback
common.buy 32.79 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Book Hardback
common.buy 80.89 €
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Book Paperback
common.buy 27.19 €
Seven Hours at the Ocean Ty Davis / Book Paperback
common.buy 7.99 €
The Voice of the Pack Edison Marshall / Book Paperback
common.buy 32.79 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Book Paperback
common.buy 23.39 €
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Book Hardback
common.buy 64.09 €
Two Dark Reigns Kendare Blake / Book Paperback
common.buy 9.89 €
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Book Paperback
common.buy 17.29 €
Anthems for Choirs 4 Christopher Morris / Printed items Sheet music
common.buy 26.79 €
Entering the Healing Ground WELLER FRANCIS / Book Paperback
common.buy 15.79 €
30 Great Books That Made History Aurell / Book Paperback
common.buy 24.79 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Book Paperback
common.buy 46.59 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Book Paperback
common.buy 107.29 €
My Mom is a Construction Manager Princess Karibo / Book Paperback
common.buy 27.89 €
Transport and Reactivity of Solutions in Confined Hydrosystems Lionel Mercury / Book Hardback
common.buy 160.89 €

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?