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 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650022
Price: 53.79 EUR
Availability: InStock
Author: Corina S. Pasareanu
ISBN: 9783642026515

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Corina S. Pasareanu

Lingua

Inglese

Libro In brossura

Codice Libristo: 01650022

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2009

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Descrizione completa

Codice Libristo: 01650022

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim

In brossura

44.89 €

Einf hrung in Die Sprachheilkunde J. Berendes

In brossura

50.29 €

Azúcar e intervención económica en España Martín Rodríguez

In brossura

25.09 €

Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat

In brossura

18.79 €

10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm

In brossura

20.69 €

La lucha continúa Tonya Sipes

In brossura

8.79 €

Panorama estratégico, 2006/2007

In brossura

8.89 €

Fonti normative francescane Roberto Lambertini

Libro

91.89 €

benandanti. Una storia senza tempo Floreana Nativo

In brossura

12.29 €

Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan

In brossura

51.19 €

Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck

In brossura

12.49 €

Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann

In brossura

9.59 €

Lehrbuch der Experimentalphysik

Rigido

92.99 €

Santa Biblia/ Holy Bible David Stoop

In brossura

28.19 €

Příběhy z temné komory Günter Grass

Rigido

9.89 €

Handbuch der arabischen Dialekte Wolfdietrich Fischer

In brossura

48.29 €

Kärntner Auftragsvergabegesetz Michaela Schabus

In brossura

31.49 €

Klassische Boersenstrategien im Test Daniel Ruppert

In brossura

41.99 €

Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle

Rigido

64.79 €

Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev

In brossura

52.49 €

Werbeagenturen in der Politikvermittlung Simon Marschall

In brossura

62.29 €

Písanka 2 k Českému jazyku pro 2. ročník

In brossura

2.69 €

Lodz w PRL-u Ewa Niedzwiecka

Rigido

22.09 €

Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina

In brossura

46.69 €

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.§The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.