Code: 01650022

Model Checking Software

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

51.67 €

RRP: 55.95 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Early Greek Philosophy
33.87 €
Buy
Písanka 2 k Českému jazyku pro 2. ročník
2.52 €
Pre-order
Tattoo Flash Colouring Book
23.86 €
Buy
Einstürzende Neubauten's Kollaps
21.43 € -15 %
Buy
Theatre and Museums
13.85 €
Buy
Handbuch der arabischen Dialekte
46.31 € -6 %
Buy
Uyghur Nation
50.36 €
Buy
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch
11.92 € -15 %
Buy
Physics of the Life Sciences
87.57 € -7 %
Buy
The Last of the Mohicans: Leatherstocking Tales #2
15.87 € -7 %
Buy
Door Wide Open: A Beat Love Affair in Letters, 1957-1958
21.43 € -18 %
Buy
Das Geräusch einer Schnecke beim Essen
10.91 € -10 %
Buy
Příběhy z temné komory
8.38 € -16 %
Buy
Unspeakable Failures of David Foster Wallace
182.34 €
Buy
DOG HIKING NORTHERN CALIFORNIA
18.19 € -25 %
Buy
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology
161.40 € -2 %
Buy
Inside Out Whale
12.73 € -25 %
Buy
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband
62.39 €
Buy
Lehrbuch der Experimentalphysik
88.79 € -12 %
Buy
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art)
9.80 € -6 %
Buy
Lodz w PRL-u
21.33 € -13 %
Buy
Santa Biblia/ Holy Bible
25.07 € -25 %
Buy
Eine Liebeserklärung an das Ruhrgebiet
9.09 € -10 %
Buy
Lies, Damned Lies, and Drug War Statistics
102.54 €
Buy
Swinger Collection 1
9.80 € -6 %
Buy
Klassische Boersenstrategien im Test
40.14 € -11 %
Buy
Botnets
51.67 € -7 %
Buy
Letter from Point Clear
18.90 € -25 %
Buy
Werbeagenturen in der Politikvermittlung
59.86 €
Buy
Interstate Relations in Classical Greece
127.22 €
Buy
Embattled Shrine: Jamestown in the Civil War
16.78 € -25 %
Buy
How to Be a Freelance Solicitor
48.54 € -2 %
Buy
IV-VI Semiconductor Nanostructures
59.86 € -4 %
Buy
Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia
42.77 € -11 %
Buy
Anticuerpos monoclonales : realidades y perspectivas
47.02 €
Buy
Manlihood: The 12 Pillars of Masculinity
14.05 € -7 %
Buy
A Practical Treatise on Diseases of the Skin, for the Use of Students and Practitioners
29.22 € -1 %
Buy
10 Dinge, die autistische Kinder ihren Eltern sagen möchten
19.71 € -11 %
Buy
benandanti. Una storia senza tempo
11.62 €
Buy
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23
28.31 € -1 %
Buy
Todesherz
20.62 € -11 %
Buy
Kärntner Auftragsvergabegesetz
30.23 €
Buy
Philosophy of Human Hope
102.95 € -7 %
Buy
Reperes Pratiques
16.27 €
Buy
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais
48.94 € -11 %
Buy
Phenomenology of Pentecostal Leadership
33.47 € -24 %
Buy
Boko Haram : les mots d'une crise
17.99 € -14 %
Buy
The Virginia Military Institute: Its Building and Rebuilding (1912)
42.67 € -2 %
Buy
Dagger John
23.76 € -24 %
Buy
Azúcar e intervención económica en España
25.27 €
Buy
Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876)
24.67 € -2 %
Buy
Teachers Who Love Teaching Teach Children to Love Learning
7.27 € -6 %
Buy
Swann's Way: In Search of Lost Time #1
19.31 € -6 %
Buy
Spatial Conservation Prioritization
87.07 €
Buy
Ten Poems for a Picnic
7.68 € -24 %
Buy
OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie
35.29 € -2 %
Buy
El obispo ciego, y 25 más
27.50 €
Buy
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh
50.25 € -12 %
Buy
Color for Knowledge
19.21 € -1 %
Buy
Two Saints & a Lot of Us Sinners
18.19 €
Buy
Hidden Closet's Book Of Short Stories
13.24 €
Buy
Hüzünlü Vagonlar
12.13 € -5 %
Buy
How Many?
7.27 €
Buy
Adjustment and Growth in the European Monetary Union
47.73 €
Buy
La web internacional : guía práctica para conseguir una web eficaz
36.60 €
Buy
Annual Report...
24.97 € -24 %
Buy
La lucha continúa
8.08 € -6 %
Buy
Políticas focalizadas de transferência de renda: contextos e
28 € -5 %
Buy
Panorama estratégico, 2006/2007
8.89 €
Buy
Covalent Counsel
12.73 € -24 %
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 125 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

51.67 €

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