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 19 990 Ft
DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 132 b
19 608 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 / Book Paperback
common.buy 16 898 Ft
Einf hrung in Die Sprachheilkunde J. Berendes / Book Paperback
common.buy 18 907 Ft
benandanti. Una storia senza tempo Floreana Nativo / Book Paperback
common.buy 6 363 Ft
Panorama estratégico, 2006/2007 / Book Paperback
common.buy 3 174 Ft
Masters of the Universe - Revelation: Keychain 2-Pack He Man & Skeletor Stationery items Stationery items
common.buy 2 266 Ft
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Book Paperback
common.buy 19 312 Ft
300 citations de la philosophie de la Renaissance Machiavel / Audiobook MP3
common.buy 1 525 Ft
Lepím si znova - Spidey / Book Paperback
common.buy 2 118 Ft
Amis, vacances et petites enqu?tes Sam G / Book Paperback
common.buy 3 875 Ft
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Book Paperback
common.buy 3 604 Ft
Lehrbuch der Experimentalphysik / Book Hardback
common.buy 35 031 Ft
La lucha continúa Tonya Sipes / Book Paperback
common.buy 3 396 Ft
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Book Paperback
common.buy 16 958 Ft
Příběhy z temné komory Günter Grass / Book Hardback
common.buy 3 441 Ft
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Book Paperback
common.buy 18 162 Ft
Das Geräusch einer Schnecke beim Essen Elisabeth Tova Bailey / Book Paperback
common.buy 4 305 Ft
Kärntner Auftragsvergabegesetz Michaela Schabus / Book Paperback
common.buy 10 831 Ft
Klassische Boersenstrategien im Test Daniel Ruppert / Book Paperback
common.buy 15 842 Ft
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Book Hardback
common.buy 22 427 Ft
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Book Paperback
common.buy 18 132 Ft
Werbeagenturen in der Politikvermittlung Simon Marschall / Book Paperback
common.buy 21 534 Ft
Santa Biblia/ Holy Bible David Stoop / Book Paperback
common.buy 10 905 Ft
Lodz w PRL-u Ewa Niedzwiecka / Book Hardback
common.buy 7 405 Ft
El obispo ciego, y 25 más Alfaro Juan / Book Paperback
common.buy 9 908 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.

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

Einstürzende Neubauten's Kollaps Jan Nieuwenhuis / Book Paperback
common.buy 7 691 Ft
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Book Paperback
common.buy 9 207 Ft
Letter from Point Clear Dennis McFarland / Book Paperback
common.buy 8 225 Ft
Embattled Shrine: Jamestown in the Civil War David Riggs / Book Paperback
common.buy 7 301 Ft
A Commentary on St. Paul's Second Epistle to the Thessalonians Alfred Plummer / Book Paperback
common.buy 9 207 Ft
A Practical Treatise on Diseases of the Skin, for the Use of Students and Practitioners James Nevins Hyde / Book Paperback
common.buy 12 233 Ft
Closures – Heterosexuality and the American Sitcom Grace E. Lavery / Book Paperback
common.buy 10 461 Ft
Two Saints & a Lot of Us Sinners Tbd / Book Paperback
common.buy 6 556 Ft
The Virginia Military Institute: Its Building and Rebuilding (1912) Francis Henney Smith / Book Hardback
common.buy 17 895 Ft
Tattoo Flash Colouring Book Megamunden / Book Paperback
common.buy 8 254 Ft
This Is the Nest That Robin Built Denise Fleming / Book Hardback
common.buy 6 423 Ft
Swinger Collection 1 Terri J Pedersen / Book Paperback
common.buy 4 127 Ft
Physics of the Life Sciences Jay Newman / Book Paperback
common.buy 33 273 Ft
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Book Hardback
common.buy 67 756 Ft
Dagger John John (The Nightingale-Bamford School) Loughery / Book Hardback
common.buy 10 313 Ft
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 11 863 Ft
Ten Poems for a Picnic Jacqueline Gabbitas / Book Paperback
common.buy 2 755 Ft
Divergence Charles Sheffield / Audiobook MP3
common.buy 7 553 Ft
Phenomenology of Pentecostal Leadership Truls Akerlund / Book Hardback
common.buy 14 499 Ft
Captivating Kanji: Coloring Book for Adults Featuring Oriental Designs with Japanese Kanji, Eastern Words (Amazing Color Art) Michelle Brubaker / Book Paperback
common.buy 4 127 Ft
Teachers Who Love Teaching Teach Children to Love Learning Eve Emelia / Book Paperback
common.buy 3 056 Ft
World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-book Adobe ePub DRM
common.buy 25 004 Ft
How to Be a Freelance Solicitor PAUL BENNETT / Book Paperback
common.buy 18 132 Ft
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Book Paperback
common.buy 5 944 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?