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

DPD courier 4.99 € GLS courier 11.49 €

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: 51.62 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

125 b

51.62 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Paperback

32.93 €

Geheime Liebe auf Sylt Gabriele Diechler

Paperback

10.90 €

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

Hardback

9.08 €

Tantrická masáž Kalashatra Govinda

Hardback

18.98 €

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

binding.

8.98 €

Death note. Short stories Tsugumi Ohba

Paperback

8.98 €

Anekdòt -2 Bob Lapierre

Paperback

41.21 €

Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss

Paperback

29.69 €

Quer durch Athen Petros Markaris

Paperback

10.90 €

Potigny - au siècle des mineurs Benjamin

Hardback

31.01 €

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

Paperback

19.89 €

La vuelta al mundo en 80 días GERONIMO STILTON

Paperback

13.93 €

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

Paperback

78.09 €

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

Paperback

40.10 €

Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil

Paperback

62.53 €

Das Orakel vom Berge Philip K. Dick

Paperback

9.08 €

Quantifizierung Operationeller Risiken Christian Bohlender

Paperback

49.90 €

Die Wahrheit über mich - Das Fragespiel David Tripolina

Game

7.67 €

Processus d'Impression Textiles Zouhaier Romdhani

Paperback

40.91 €

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.