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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 145 b
21 311 Ft
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Le Coran expliqué aux jeunes Rachid Benzine / Book Paperback
common.buy 4 456 Ft
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Book Hardback
common.buy 3 416 Ft
Burenkrieg (1899-1902) Burkhard Werner / Book Paperback
common.buy 5 260 Ft
Augusto Giacometti Beat Stutzer / Book Paperback
common.buy 16 634 Ft
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Book Paperback
common.buy 6 919 Ft
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Book Paperback
common.buy 11 887 Ft
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Book Paperback
common.buy 15 594 Ft
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Book Paperback
common.buy 6 272 Ft
Plansza dwustronna A4 ściąga Europa / Book binding.
common.buy 629 Ft
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / E-book Adobe ePub DRM
common.buy 4 982 Ft
Joan Miro TBD / Book Hardback
common.buy 15 155 Ft
Dawit Isaak Anisur Rahman / Book Paperback
common.buy 9 586 Ft
UN HERISSON EMMANUELLE KECIR-LEPETIT / Book Book
common.buy 4 821 Ft
Jak jsem se (ne)stal agentem StB Jan Vaněček / Book binding.
common.buy 1 262 Ft
Holašovice: Vesnická památková rezervace collegium / Book Sheet
common.buy 4 456 Ft
Des petits mondes en leur début / Book Paperback
common.buy 13 528 Ft
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Book Hardback
common.buy 19 698 Ft
Indische Reisebriefe Ernst Haeckel / Book Paperback
common.buy 13 833 Ft
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Book Paperback
common.buy 12 151 Ft
Sang famille Michel Bussi / Book Paperback
common.buy 4 705 Ft
Traite Du Jeu. Volume 1 BARBEYRAC-J / Book Paperback
common.buy 11 504 Ft
Gottfried Keller Albert Köster / Book Paperback
common.buy 8 897 Ft
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Book Paperback
common.buy 5 218 Ft
Iniciacion deportiva en la escuela Abadi / Book Paperback
common.buy 10 552 Ft

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 21 311 Ft
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 23 655 Ft
Changing Room Zhai Yongming / Book Paperback
common.buy 6 817 Ft
Torn in the New Sa Bronwyn McIntosh / Book Paperback
common.buy 9 174 Ft
English Physician's Guide or a Holy Guide V1 John Heydon / Book Hardback
common.buy 20 960 Ft
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Book Paperback
common.buy 10 861 Ft
REASONABLE SERVICE WILLIAM PAG ROBERTS / Book Hardback
common.buy 12 091 Ft
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Book Paperback
common.buy 10 099 Ft
Seven Hours at the Ocean Ty Davis / Book Paperback
common.buy 2 930 Ft
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Book Paperback
common.buy 8 601 Ft
Entering the Healing Ground WELLER FRANCIS / Book Paperback
common.buy 5 860 Ft
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Book Paperback
common.buy 6 392 Ft
Two Dark Reigns Kendare Blake / Book Paperback
common.buy 3 563 Ft
The Voice of the Pack Edison Marshall / Book Paperback
common.buy 12 091 Ft
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Book Paperback
common.buy 4 982 Ft
My Mom is a Construction Manager Princess Karibo / Book Paperback
common.buy 10 302 Ft
Robert Rauschenberg and Surrealism Gavin Parkinson / Book Paperback
common.buy 15 945 Ft
30 Great Books That Made History Aurell / Book Paperback
common.buy 9 133 Ft
Think Starter Workbook with Online Practice Herbert Puchta / Book Hardback
common.buy 3 795 Ft
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Book Hardback
common.buy 29 737 Ft
Anthems for Choirs 4 Christopher Morris / Printed items Sheet music
common.buy 9 087 Ft
Get addicted to free-motion quilting Sheila Sinclair Snyder / Book Paperback
common.buy 7 182 Ft
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Book Paperback
common.buy 39 688 Ft
History of the People's Republic of China, 1949-1976 Julia Strauss / Book Paperback
common.buy 17 660 Ft

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?