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 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Verification, Model Checking, and Abstract Interpretation

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Neil D. Jones
Libristo code: 01571263
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2008
The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Full description
? points 125 b
51.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Book Paperback
common.buy 32.60 €
Geheime Liebe auf Sylt Gabriele Diechler / Book Paperback
common.buy 9.99 €
Neumírej před smrtí Jevgenij Jevtušenko / Book binding.
common.buy 9.09 €
Top
Tantrická masáž Kalashatra Govinda / Book Hardback
common.buy 18.29 €
Anekdòt -2 Bob Lapierre / Book Paperback
common.buy 36.19 €
Top
A zárda gyermekei Patricia Gibney / Book Hardback
common.buy 14.29 €
剑神重生：第二十一部 天雷猪 / Book Paperback
common.buy 41.89 €
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Book Paperback
common.buy 34.95 €
Quer durch Athen Petros Markaris / Book Paperback
common.buy 15.00 €
Illusions comiques à l'irlandaise Kilroy Book Paperback
common.buy 15.99 €
Potigny - au siècle des mineurs Benjamin / Book Hardback
common.buy 26.89 €
Coming soon
Das Orakel vom Berge Philip K. Dick / Book Paperback
common.buy 9.99 €
Feynman-Vorlesungen über Physik / Strahlung und Wärme Richard P. Feynman / Book Hardback
common.buy 69.95 €
Processus d'Impression Textiles Zouhaier Romdhani / Book Paperback
common.buy 40.49 €
Quantifizierung Operationeller Risiken Christian Bohlender / Book Paperback
common.buy 49.00 €
Pověsti Čech, Moravy a Slezska August Sedláček / Book Hardback
common.buy 8.69 €
Top
La vuelta al mundo en 80 días GERONIMO STILTON / Book Paperback
common.buy 17.79 €
Die Wahrheit über mich - Das Fragespiel David Tripolina / Game/Toy Game
common.buy 8.99 €
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Book Paperback
common.buy 39.59 €
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Book Paperback
common.buy 64.99 €
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Book Paperback
common.buy 74.69 €
Fuzzy-Expertensysteme Zur Beurteilung Von Kreditrisiken Hans-Peter Güllich / Book Paperback
common.buy 54.99 €
Propaganda. 100 Seiten Alexandra Bleyer / Book Paperback
common.buy 12.00 €

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.§The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

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 Neil D. Jones, Markus Müller-Olm
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 381
EAN 9783540938996
ISBN 3540938990
Libristo code 01571263
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 605
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

Diagram Geometry Buekenhout / Book Paperback
common.buy 111.99 €
Writing What People Buy Anne Hart / Book Paperback
common.buy 17.99 €
Top
Invincible Compendium Volume 3 Robert Kirkman / Book Paperback
common.buy 46.39 €
Tiny House: Remarkable Beginners Guide to Interior Design, Affordable Living, and 50 Hacks for Ginormous Living! Michael Scott Reeves / Book Paperback
common.buy 12.19 €
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Book Paperback
common.buy 7.99 €
A Treatise on the Office and Duty of a Justice of the Peace, Sheriff, Coroner, Constable, and of Executors, Administrators, and Guardians: In Which Ar James Ewing / Book Paperback
common.buy 29.70 €
Romance without fiction Henry Bleby / Book Paperback
common.buy 32.59 €
In a Perfect World Trish Doller / Book Hardback
common.buy 17.40 €
Literature Criticism from 1400 to 1800 Gale Cengage Learning / Book Hardback
common.buy 604.44 €
Life and Times of General Sir Edward Cecil, Viscount Wimbledon, Colonel of an English Regiment in the Dutch Service, 1605-1631, and One of His Majesty Charles Dalton / Book Hardback
common.buy 36.00 €
Affordable
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Book Paperback
common.buy 2.49 €
Written Corrective Feedback for L2 Development Qi Guo / Book Hardback
common.buy 124.09 €
Size of My Family is Just Right for Me Jacqueline Ward Barrett / Book Paperback
common.buy 15.99 €
The Other Side of the River: A Story of Two Towns, a Death, and America's Dilemma Alex Kotlowitz / Book Paperback
common.buy 16.00 €
32 Fangs: A Final Vampire Tale David Wellington / Book Paperback
common.buy 14.89 €
The Rising Kelley Armstrong / Book Paperback
common.buy 11.89 €
Transactions of the ... Annual Reunion of the Oregon Pioneer Association, Volumes 3-14 Oregon Pioneer Association Reunion / Book Hardback
common.buy 47.61 €
Chess Player's Bible James Eade & Al Lawrence / Book Hardback
common.buy 16.89 €
Kurdish Armour Against ISIS Alaric (University of Salford Searle / Book Paperback
common.buy 12.69 €
Python: Beginner's Guide to Programming Code with Python Charlie Masterson / E-book Adobe ePub DRM
common.buy 3.69 €
Routledge Companion to Shakespeare and Religion Will Stockton / E-book Adobe ePub DRM
common.buy 66.12 €
Cerebral Entanglements Allan J. Hamilton / E-book Adobe ePub DRM
common.buy 16.30 €
Top
Fall I Want Lyra Parish / Book Paperback
common.buy 10.69 €
Contemporary Ballet / Book Hardback
common.buy 36.60 €

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?