Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

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

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01662910

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2013

This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Descripción completa

Código Libristo: 01662910

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Schmerz N. Birbaumer

Tapa blanda

58.09 €

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

Tapa blanda

19.99 €

Straßenverkehrsordnung (StVO)

Tapa blanda

19.29 €

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

Tapa dura

12.09 €

Praha Thomas Käfer

Tapa blanda

22.79 €

Faustine Ida von Hahn-Hahn

Tapa blanda

14.89 €

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

Tapa blanda

35.79 €

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

Tapa blanda

16.69 €

SONATE PIANO PIANO ROBERT MOEVS Libro

binding.

34.99 €

Une Vie pour une Autre Levet

Tapa blanda

22.99 €

Nur ein Geiger Hans Christian Andersen

Tapa blanda

23.69 €

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Tapa blanda

67.29 €

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Tapa blanda

32.59 €

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

Tapa blanda

26.09 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Tapa blanda

22.49 €

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

Tapa blanda

27.69 €

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Tapa blanda

13.89 €

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

Tapa blanda

54.09 €

Gabler Lexikon Personal Ulrich Büdenbender

Tapa blanda

56.99 €

System der Politik Harald Bluhm

Tapa blanda

46.69 €

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Tapa blanda

73.09 €

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

Tapa blanda

38.49 €

Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard

Tapa blanda

58.09 €

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.