Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Model Checking Software

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

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

Corina S. Pasareanu

Language

English

Book Paperback

Libristo code: 01650022

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2009

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

Libristo code: 01650022

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

16 634 Ft

Einf hrung in Die Sprachheilkunde J. Berendes

Paperback

18 612 Ft

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

Paperback

8 999 Ft

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

Paperback

6 993 Ft

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

Paperback

7 663 Ft

La lucha continúa Tonya Sipes

Paperback

3 268 Ft

Panorama estratégico, 2006/2007

Paperback

3 194 Ft

Fonti normative francescane Roberto Lambertini

Book

31 424 Ft

benandanti. Una storia senza tempo Floreana Nativo

Paperback

4 206 Ft

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

Paperback

18 996 Ft

Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck

Paperback

4 659 Ft

Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann

Paperback

3 545 Ft

Lehrbuch der Experimentalphysik

Hardback

34 470 Ft

Santa Biblia/ Holy Bible David Stoop

Paperback

10 464 Ft

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

Hardback

3 388 Ft

Handbuch der arabischen Dialekte Wolfdietrich Fischer

Paperback

17 882 Ft

Kärntner Auftragsvergabegesetz Michaela Schabus

Paperback

10 727 Ft

Klassische Boersenstrategien im Test Daniel Ruppert

Paperback

15 594 Ft

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

Hardback

22 148 Ft

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

Paperback

17 836 Ft

Werbeagenturen in der Politikvermittlung Simon Marschall

Paperback

21 265 Ft

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

Paperback

938 Ft

Lodz w PRL-u Ewa Niedzwiecka

Hardback

7 487 Ft

Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina

Paperback

16 754 Ft

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.