Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01650022
Price: 1182 CZK
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

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2009

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

Libristo kód: 01650022

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

976 Kč

Einf hrung in Die Sprachheilkunde J. Berendes

Brožovaná

1 105 Kč

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

Brožovaná

450 Kč

OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire

Brožovaná

855 Kč

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

Brožovaná

614 Kč

Panorama estratégico, 2006/2007

Brožovaná

218 Kč

Fonti normative francescane Roberto Lambertini

Kniha

2 144 Kč

benandanti. Una storia senza tempo Floreana Nativo

Brožovaná

287 Kč

Handbuch der arabischen Dialekte Wolfdietrich Fischer

Brožovaná

1 059 Kč

Santa Biblia/ Holy Bible David Stoop

Brožovaná

608 Kč

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

Brožovaná

1 115 Kč

Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck

Brožovaná

271 Kč

Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann

Brožovaná

208 Kč

Lehrbuch der Experimentalphysik

Pevná

2 024 Kč

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

Pevná

195 Kč

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

Brožovaná

410 Kč

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

Brožovaná

59 Kč

Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier

Brožovaná

598 Kč

Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina

Brožovaná

1 143 Kč

Kärntner Auftragsvergabegesetz Michaela Schabus

Brožovaná

733 Kč

Klassische Boersenstrategien im Test Daniel Ruppert

Brožovaná

915 Kč

Hüzünlü Vagonlar Deniz Soganci

Brožovaná

280 Kč

Todesherz Karen Rose

Brožovaná

471 Kč

Políticas focalizadas de transferência de renda: contextos e BARBARA COBO

Kniha

678 Kč

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.