Free delivery for orders over 69.99 euro.

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662910
Price: 51.63 EUR
Availability: InStock
Author: Roberto Giacobazzi
ISBN: 9783642358722

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Roberto Giacobazzi

Josh Berdine

Isabella Mastroeni

Language

English

Book Paperback

Libristo code: 01662910

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2013

This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Full description

Libristo code: 01662910

125 b

51.63 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Schmerz N. Birbaumer

Paperback

53.04 €

Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L

Paperback

19.29 €

Straßenverkehrsordnung (StVO)

Paperback

18.28 €

Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl

Hardback

11.31 €

Praha Thomas Käfer

Paperback

20.60 €

Faustine Ida von Hahn-Hahn

Paperback

13.53 €

Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca

Paperback

33.64 €

Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann

Paperback

15.75 €

SONATE PIANO PIANO ROBERT MOEVS Book

binding.

34.75 €

Une Vie pour une Autre Levet

Paperback

22.83 €

Nur ein Geiger Hans Christian Andersen

Paperback

21.41 €

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Paperback

61.23 €

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Paperback

29.40 €

Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N

Paperback

25.15 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Paperback

21.21 €

Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt

Paperback

25.05 €

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Paperback

12.62 €

Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B

Paperback

48.90 €

Gabler Lexikon Personal Ulrich Büdenbender

Paperback

51.83 €

System der Politik Harald Bluhm

Paperback

42.43 €

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Paperback

68.91 €

Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo

Paperback

34.85 €

Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard

Paperback

53.04 €

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.