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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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

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 136 b
20 328 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Geheime Liebe auf Sylt Gabriele Diechler / Book Paperback
common.buy 3 937 Ft
Correlaciones entre la personalidad y el rendimiento académico de los adolescentes / Book Paperback
common.buy 13 067 Ft
Neumírej před smrtí Jevgenij Jevtušenko / Book binding.
common.buy 3 248 Ft
Death note. Short stories Tsugumi Ohba / Book Paperback
common.buy 3 172 Ft
Anekdòt -2 Bob Lapierre / Book Paperback
common.buy 14 894 Ft
Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss / Book Paperback
common.buy 11 854 Ft
Coming soon
Bhagavad Gita As It Is [Bengali Language] A. C. Bhaktivedanta Swami Prabhupada / Book Paperback
common.buy 8 384 Ft
Top
Tantrická masáž Kalashatra Govinda / Book Hardback
common.buy 6 109 Ft
Potigny - au siècle des mineurs Benjamin / Book Hardback
common.buy 11 169 Ft
Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck / Book Paperback
common.buy 7 232 Ft
Quer durch Athen Petros Markaris / Book Paperback
common.buy 5 372 Ft
Quantifizierung Operationeller Risiken Christian Bohlender / Book Paperback
common.buy 18 085 Ft
Top
Pověsti Čech, Moravy a Slezska August Sedláček / Book Hardback
common.buy 3 564 Ft
Processus d'Impression Textiles Zouhaier Romdhani / Book Paperback
common.buy 16 244 Ft
La vuelta al mundo en 80 días GERONIMO STILTON / Book Paperback
common.buy 7 110 Ft
Coming soon
Das Orakel vom Berge Philip K. Dick / Book Paperback
common.buy 3 621 Ft
Die Wahrheit über mich - Das Fragespiel David Tripolina / Game/Toy Game
common.buy 3 069 Ft
Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil / Book Paperback
common.buy 22 693 Ft
C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass / Book Paperback
common.buy 28 325 Ft
Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous / Book Paperback
common.buy 15 885 Ft
Fuzzy-Expertensysteme Zur Beurteilung Von Kreditrisiken Hans-Peter Güllich / Book Paperback
common.buy 20 885 Ft

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 44 564 Ft
Writing What People Buy Anne Hart / Book Paperback
common.buy 7 737 Ft
Transactions of the ... Annual Reunion of the Oregon Pioneer Association, Volumes 3-14 Oregon Pioneer Association Reunion / Book Hardback
common.buy 19 747 Ft
Romance without fiction Henry Bleby / Book Paperback
common.buy 11 948 Ft
In a Perfect World Trish Doller / Book Hardback
common.buy 6 963 Ft
Literature Criticism from 1400 to 1800 Gale Cengage Learning / Book Hardback
common.buy 241 871 Ft
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 14 941 Ft
Affordable
Pyramid Schemes: A Tale of Sir Apropos of Nothing Peter David / Book Paperback
common.buy 2 323 Ft
Walking Words Eduardo Galeano / Book Paperback
common.buy 8 384 Ft
The Other Side of the River: A Story of Two Towns, a Death, and America's Dilemma Alex Kotlowitz / Book Paperback
common.buy 6 798 Ft
The Rising Kelley Armstrong / Book Paperback
common.buy 3 951 Ft
Early Scenes In Church History: The Faith-Promoting Series Book 8 George Q Cannon / Book Paperback
common.buy 3 352 Ft
Chess Player's Bible James Eade & Al Lawrence / Book Hardback
common.buy 6 585 Ft
Hours Of Solitude A Collection Of Original Poems Volume 1 Charlotte Dacre / Book Paperback
common.buy 7 922 Ft
Alfred Dudley: Or The Australian Settlers Sarah Porter / Book Hardback
common.buy 15 300 Ft
Top
The Sopranos Family Cookbook Artie Bucco / Book Hardback
common.buy 9 612 Ft
Tiny House: Remarkable Beginners Guide to Interior Design, Affordable Living, and 50 Hacks for Ginormous Living! Michael Scott Reeves / Book Paperback
common.buy 5 103 Ft
Top
Invincible Compendium Volume 3 Robert Kirkman / Book Paperback
common.buy 19 686 Ft
Written Corrective Feedback for L2 Development Qi Guo / Book Hardback
common.buy 49 804 Ft
Zeta Functions Of Reductive Groups And Their Zeros Weng / Book Hardback
common.buy 81 887 Ft
Marco Paul's Voyages and Travels; Vermont JACOB ABBOTT / Book Hardback
common.buy 8 172 Ft
Be The Bigger Person: Scenarios & Solutions to Better Yourself Avni Parekh / Book Paperback
common.buy 5 462 Ft
Top
Contact Carl Sagan / Book Paperback
common.buy 5 986 Ft
The Movie in His Mind: Femdom Hypnosis and Mind Control Micro-Fiction S. B / Book Paperback
common.buy 4 145 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?