Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Model Checking Software

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

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

Corina S. Pasareanu

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01650022

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2009

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Celý popis

Libristo kód: 01650022

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

42.93 €

Einf hrung in Die Sprachheilkunde J. Berendes

Brožovaná

48.40 €

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

Brožovaná

25.41 €

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

Brožovaná

18.02 €

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

Brožovaná

19.74 €

La lucha continúa Tonya Sipes

Brožovaná

8.09 €

Panorama estratégico, 2006/2007

Brožovaná

9.00 €

Fonti normative francescane Roberto Lambertini

Kniha

88.71 €

benandanti. Una storia senza tempo Floreana Nativo

Brožovaná

11.84 €

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

Brožovaná

49.01 €

Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck

Brožovaná

11.94 €

Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann

Brožovaná

9.11 €

Lehrbuch der Experimentalphysik

Pevná

88.92 €

Santa Biblia/ Holy Bible David Stoop

Brožovaná

25.11 €

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

Pevná

7.59 €

Handbuch der arabischen Dialekte Wolfdietrich Fischer

Brožovaná

46.38 €

Kärntner Auftragsvergabegesetz Michaela Schabus

Brožovaná

30.27 €

Klassische Boersenstrategien im Test Daniel Ruppert

Brožovaná

40.20 €

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

Pevná

62.48 €

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

Brožovaná

50.33 €

Werbeagenturen in der Politikvermittlung Simon Marschall

Brožovaná

60.05 €

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

Brožovaná

2.22 €

Lodz w PRL-u Ewa Niedzwiecka

Pevná

21.16 €

Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina

Brožovaná

47.29 €

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.