Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Model Checking Software

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

Language EnglishEnglish
Book Paperback
Book Model Checking Software Corina S. Pasareanu
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
? points 125 b
51.63 €
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 / Book Paperback
common.buy 42.84 €
Einf hrung in Die Sprachheilkunde J. Berendes / Book Paperback
common.buy 48.29 €
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Book Paperback
common.buy 19.70 €
OEuvres De Moli?re: Les Facheux, Comédie. L'école Des Femmes, Comédie. L'impromptu De Versailles, Comédie Molire / Book Paperback
common.buy 37.08 €
Azúcar e intervención económica en España Martín Rodríguez / Book Paperback
common.buy 25.35 €
Panorama estratégico, 2006/2007 / Book Paperback
common.buy 8.98 €
Fonti normative francescane Roberto Lambertini / Book Book
common.buy 88.51 €
benandanti. Una storia senza tempo Floreana Nativo / Book Paperback
common.buy 11.81 €
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Book Paperback
common.buy 46.27 €
Santa Biblia/ Holy Bible David Stoop / Book Paperback
common.buy 26.77 €
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Book Paperback
common.buy 48.90 €
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Book Paperback
common.buy 11.91 €
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Book Paperback
common.buy 9.08 €
Lehrbuch der Experimentalphysik / Book Hardback
common.buy 88.71 €
Příběhy z temné komory Günter Grass / Book Hardback
common.buy 9.49 €
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Book Paperback
common.buy 17.98 €
Top
Písanka 2 k Českému jazyku pro 2. ročník / Book Paperback
common.buy 2.52 €
Monsenor Dupanloup: Episodio De La Historia Contemporanea De 1845 A 1875 (1876) Victor Pelletier / Book Paperback
common.buy 25.96 €
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Book Paperback
common.buy 47.18 €
Kärntner Auftragsvergabegesetz Michaela Schabus / Book Paperback
common.buy 30.20 €
Klassische Boersenstrategien im Test Daniel Ruppert / Book Paperback
common.buy 40.11 €
Hüzünlü Vagonlar Deniz Soganci / Book Paperback
common.buy 12.22 €
Todesherz Karen Rose / Book Paperback
common.buy 20.60 €
Políticas focalizadas de transferência de renda: contextos e BARBARA COBO / Book Book
common.buy 27.98 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Model Checking Software
Author Corina S. Pasareanu
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 297
EAN 9783642026515
ISBN 3642026516
Libristo code 01650022
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 474
Dimensions 155 x 235 x 17

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Book Paperback
common.buy 7.67 €
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Book Hardback
common.buy 169.56 €
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Book Paperback
common.buy 22.73 €
Letter from Point Clear Dennis McFarland / Book Paperback
common.buy 20.20 €
Embattled Shrine: Jamestown in the Civil War David Riggs / Book Paperback
common.buy 17.88 €
Dagger John John (The Nightingale-Bamford School) Loughery / Book Hardback
common.buy 25.25 €
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Book Hardback
common.buy 29.70 €
Ten Poems for a Picnic Jacqueline Gabbitas / Book Paperback
common.buy 7.67 €
Phenomenology of Pentecostal Leadership Truls Akerlund / Book Hardback
common.buy 35.56 €
Swann's Way: In Search of Lost Time #1 Proust Marcel / Book Paperback
common.buy 20.30 €
How to Be a Freelance Solicitor PAUL BENNETT / Book Paperback
common.buy 51.02 €
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Book Paperback
common.buy 14.84 €
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Book Paperback
common.buy 16.76 €
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Book Hardback
common.buy 44.86 €
Two Saints & a Lot of Us Sinners Tbd / Book Paperback
common.buy 18.99 €
Sense and Sensibility Jane Austen / E-book Adobe ePub DRM
common.buy 9.39 €
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 66.38 €
Untold Story Monica Ali / Audiobook MP3
common.buy 26.16 €
Color for Knowledge Walter the Educator / Book Paperback
common.buy 20.10 €
Covalent Counsel Anthony B Cosenza / Book Paperback
common.buy 13.53 €
Theatre and Museums Susan Bennett / Book Paperback
common.buy 15.15 €
Reperes Pratiques Guillaume Bernard / Book Paperback
common.buy 16.46 €
Philosophy of Human Hope J.J. Godfrey / Book Hardback
common.buy 102.86 €
Interstate Relations in Classical Greece Polly Low / Book Hardback
common.buy 133.18 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account