Code: 01650022

Model Checking Software

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

by Corina S. Pasareanu

Language: English
Binding: Paperback
Number of pages: 297
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009
More about this

55.93 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Písanka 2 k Českému jazyku pro 2. ročník
2.22 € -9 %
Buy
Theatre and Museums
14.58 €
Buy
Handbuch der arabischen Dialekte
52.69 €
Buy
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch
14.08 € -10 %
Buy
Door Wide Open: A Beat Love Affair in Letters, 1957-1958
21.48 € -18 %
Buy
The Last of the Mohicans: Leatherstocking Tales #2
15.90 € -7 %
Buy
Unspeakable Failures of David Foster Wallace
185.96 €
Buy
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology
161.74 € -2 %
Buy
Inside Out Whale
12.76 € -25 %
Buy
Lehrbuch der Experimentalphysik
88.97 € -12 %
Buy
Lodz w PRL-u
21.17 € -17 %
Buy
Eine Liebeserklärung an das Ruhrgebiet
9.11 € -10 %
Buy
Botnets
55.93 €
Buy
Příběhy z temné komory
7.59 € -24 %
Buy
Letter from Point Clear
18.94 € -25 %
Buy
Santa Biblia/ Holy Bible
25.12 € -25 %
Buy
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband
62.52 €
Buy
Werbeagenturen in der Politikvermittlung
60.09 € -3 %
Buy
How to Be a Freelance Solicitor
48.64 € -2 %
Buy
A Practical Treatise on Diseases of the Skin, for the Use of Students and Practitioners
29.28 € -1 %
Buy
benandanti. Una storia senza tempo
11.85 €
Buy
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23
28.37 € -1 %
Buy
Todesherz
23.81 € -4 %
Buy
Klassische Boersenstrategien im Test
56.84 € -7 %
Buy
10 Dinge, die autistische Kinder ihren Eltern sagen möchten
22.79 € -5 %
Buy
Kärntner Auftragsvergabegesetz
30.29 €
Buy
Reperes Pratiques
16.51 €
Buy
Interstate Relations in Classical Greece
127.48 €
Buy
Phenomenology of Pentecostal Leadership
33.54 € -24 %
Buy
Embattled Shrine: Jamestown in the Civil War
16.81 € -25 %
Buy
Dagger John
23.81 € -24 %
Buy
Boko Haram : les mots d'une crise
18.74 € -11 %
Buy
Azúcar e intervención económica en España
25.43 €
Buy
Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876)
24.72 € -2 %
Buy
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh
50.36 € -12 %
Buy
Manlihood: The 12 Pillars of Masculinity
14.08 € -7 %
Buy
OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie
35.36 € -2 %
Buy
Teachers Who Love Teaching Teach Children to Love Learning
7.29 € -6 %
Buy
Swann's Way: In Search of Lost Time #1
19.35 € -6 %
Buy
Spatial Conservation Prioritization
103.67 €
Buy
Ten Poems for a Picnic
7.69 € -24 %
Buy
Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia
85.73 € -9 %
Buy
Anticuerpos monoclonales : realidades y perspectivas
47.32 €
Buy
Color for Knowledge
19.25 € -1 %
Buy
Two Saints & a Lot of Us Sinners
18.23 €
Buy
Hidden Closet's Book Of Short Stories
13.27 €
Buy
Hüzünlü Vagonlar
12.25 € -4 %
Buy
How Many?
7.29 €
Buy
Adjustment and Growth in the European Monetary Union
47.83 €
Buy
Philosophy of Human Hope
108.53 €
Buy
La lucha continúa
8.10 € -6 %
Buy
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais
55.93 € -4 %
Buy
Políticas focalizadas de transferência de renda: contextos e
28.06 € -5 %
Buy
Panorama estratégico, 2006/2007
9.01 €
Buy
Covalent Counsel
12.76 € -24 %
Buy
Fonti normative francescane
88.77 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 135 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

55.93 €

Full title: Model Checking Software
Subtitle: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Author: Corina S. Pasareanu
Language: English
Binding: Paperback
Number of pages: 297
EAN: 9783642026515
ISBN: 3642026516
ID: 01650022
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 474 g
Dimensions: 235 × 155 × 17 mm
Date of publishing: 15. June 2009