Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 19902 HUF
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

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Schmerz N. Birbaumer

Paperback

20 447 Ft

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

Paperback

7 386 Ft

Straßenverkehrsordnung (StVO)

Paperback

6 480 Ft

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

Hardback

4 030 Ft

Praha Thomas Käfer

Paperback

8 000 Ft

Faustine Ida von Hahn-Hahn

Paperback

5 232 Ft

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

Paperback

11 943 Ft

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

Paperback

5 583 Ft

SONATE PIANO PIANO ROBERT MOEVS Book

binding.

12 340 Ft

Une Vie pour une Autre Levet

Paperback

8 107 Ft

Nur ein Geiger Hans Christian Andersen

Paperback

8 324 Ft

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Paperback

23 669 Ft

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Paperback

11 430 Ft

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

Paperback

9 600 Ft

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Paperback

7 520 Ft

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

Paperback

9 715 Ft

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Paperback

4 895 Ft

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

Paperback

18 996 Ft

Gabler Lexikon Personal Ulrich Büdenbender

Paperback

20 036 Ft

System der Politik Harald Bluhm

Paperback

16 431 Ft

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Paperback

24 445 Ft

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

Paperback

13 528 Ft

Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard

Paperback

20 447 Ft

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.