Check order status

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01571263
Price: 53.79 EUR
Availability: InStock
Author: Neil D. Jones
ISBN: 9783540938996

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

Neil D. Jones

Markus Müller-Olm

Language

English

Book Paperback

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

Libristo code: 01571263

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Correlaciones entre la personalidad y el rendimiento académico de los adolescentes

Paperback

34.49 €

Geheime Liebe auf Sylt Gabriele Diechler

Paperback

11.39 €

Pověsti Čech, Moravy a Slezska August Sedláček

Hardback

9.49 €

Tantrická masáž Kalashatra Govinda

Hardback

19.89 €

Neumírej před smrtí Jevgenij Jevtušenko

binding.

9.39 €

Death note. Short stories Tsugumi Ohba

Paperback

9.39 €

Anekdòt -2 Bob Lapierre

Paperback

42.59 €

Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss

Paperback

34.95 €

Quer durch Athen Petros Markaris

Paperback

12.00 €

Potigny - au siècle des mineurs Benjamin

Hardback

31.99 €

Blattwerk Deutsch - Texte, 5/6 AHS Johannes Gaisböck

Paperback

20.79 €

Drácula superstar JULIO PEREZ MANZANARES

Audio CD

24.29 €

La vuelta al mundo en 80 días GERONIMO STILTON

Paperback

13.79 €

C. G. J. Jacobi's Gesammelte Werke Carl Gustav Jacob JacobiKarl Weierstrass

Paperback

80.99 €

Management et fidélisation des saisonniers en hôtellerie Hervé Cabantous

Paperback

41.99 €

Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil

Paperback

65.29 €

Das Orakel vom Berge Philip K. Dick

Paperback

9.99 €

Quantifizierung Operationeller Risiken Christian Bohlender

Paperback

51.99 €

Die Wahrheit über mich - Das Fragespiel David Tripolina

Game

8.99 €

Processus d'Impression Textiles Zouhaier Romdhani

Paperback

42.89 €

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.