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 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.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: 01662910
Price: 51.09 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.09 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Schmerz N. Birbaumer

Paperback

54.99 €

Praha Thomas Käfer

Paperback

22.96 €

Nur ein Geiger Hans Christian Andersen

Paperback

23.90 €

Une Vie pour une Autre Levet

Paperback

26.89 €

VOM EGERLAND BIS OBERKRAIN CONCERT BAND/HARMONIE-PARTITION+PARTIES SEPAREES MICHAEL KLOSTERMANN_ Book

binding.

103.19 €

SONATE PIANO PIANO ROBERT MOEVS Book

binding.

30.29 €

Hedda Gabler Henrik Ibsen

Paperback

17.90 €

Kdo zatočí s Naschválníkem Ludmila Bakonyi Selingerová

Hardback

3.39 €

Straßenverkehrsordnung (StVO)

Paperback

16.89 €

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

Hardback

10.49 €

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

Paperback

14.91 €

Avesta Friedrich von Spiegel

Paperback

49.90 €

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

Paperback

34.90 €

Faustine Ida von Hahn-Hahn

Paperback

14.90 €

Eddalieder: Gedichte Der Heldensage Finnur Jnsson

Paperback

18.20 €

Caturanga Murat Hodja

Paperback

10.09 €

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Paperback

64.99 €

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Paperback

32.90 €

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

Paperback

23.79 €

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

Paperback

18.19 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Paperback

19.99 €

Gabler Lexikon Personal Ulrich Büdenbender

Paperback

55.01 €

System der Politik Harald Bluhm

Paperback

44.99 €

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

Paperback

27.96 €

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.