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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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: 20515 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

20 515 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Paperback

17 132 Ft

Einf hrung in Die Sprachheilkunde J. Berendes

Paperback

19 172 Ft

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

Paperback

7 899 Ft

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

Paperback

9 290 Ft

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

Paperback

7 208 Ft

La lucha continúa Tonya Sipes

Paperback

3 368 Ft

Panorama estratégico, 2006/2007

Paperback

3 306 Ft

Fonti normative francescane Roberto Lambertini

Book

32 288 Ft

benandanti. Una storia senza tempo Floreana Nativo

Paperback

6 646 Ft

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

Paperback

19 581 Ft

Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck

Paperback

4 802 Ft

Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann

Paperback

3 654 Ft

Lehrbuch der Experimentalphysik

Hardback

35 532 Ft

Lodz w PRL-u Ewa Niedzwiecka

Hardback

7 794 Ft

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

Hardback

3 187 Ft

Handbuch der arabischen Dialekte Wolfdietrich Fischer

Paperback

18 433 Ft

Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey

Paperback

4 364 Ft

Kärntner Auftragsvergabegesetz Michaela Schabus

Paperback

11 044 Ft

Klassische Boersenstrategien im Test Daniel Ruppert

Paperback

16 075 Ft

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

Hardback

22 797 Ft

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

Paperback

18 386 Ft

Werbeagenturen in der Politikvermittlung Simon Marschall

Paperback

21 892 Ft

Santa Biblia/ Holy Bible David Stoop

Paperback

10 786 Ft

El obispo ciego, y 25 más Alfaro Juan

Paperback

10 124 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.