Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 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: 01571263
Price: 53.79 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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01571263

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dicembre 2008

The book constitutes the refereed proceedings of the 10th International Conference on Verification,... Descrizione completa

Codice Libristo: 01571263

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

34.49 €

Geheime Liebe auf Sylt Gabriele Diechler

In brossura

11.39 €

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

Rigido

9.49 €

Tantrická masáž Kalashatra Govinda

Rigido

19.89 €

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

binding.

9.39 €

Death note. Short stories Tsugumi Ohba

In brossura

9.39 €

Anekdòt -2 Bob Lapierre

In brossura

42.59 €

Schweizerdeutsch und Sprachbewusstsein Emanuel Ruoss

In brossura

31.29 €

Quer durch Athen Petros Markaris

In brossura

11.39 €

Potigny - au siècle des mineurs Benjamin

Rigido

31.99 €

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

In brossura

20.79 €

Drácula superstar JULIO PEREZ MANZANARES

CD audio

24.29 €

La vuelta al mundo en 80 días GERONIMO STILTON

In brossura

13.79 €

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

In brossura

80.99 €

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

In brossura

41.99 €

Wahrnehmung der Qualitat der Abschlussprufung Johanna Souad Qandil

In brossura

65.29 €

Das Orakel vom Berge Philip K. Dick

In brossura

9.59 €

Quantifizierung Operationeller Risiken Christian Bohlender

In brossura

51.99 €

Die Wahrheit über mich - Das Fragespiel David Tripolina

Gioco

8.09 €

Processus d'Impression Textiles Zouhaier Romdhani

In brossura

42.89 €

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.