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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software Susanne Graf
Libristo code: 01559203
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Full description
? points 141 b
58.36 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Unterhaltsrecht Michael Schwimann / Book Hardback
common.buy 78.99 €
?Quién es mi bebé? EDICIONES / Book Paperback
common.buy 17.09 €
Top
Psychológia ako zbraň Tomáš Vepi / Book Hardback
common.buy 15.26 €
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Book Paperback
common.buy 9.40 €
Coming soon
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Book Book
common.buy 63.01 €
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-book Adobe ePub DRM
common.buy 8.79 €
Rafaela McKensey Monika Hoffmann / Book Paperback
common.buy 7.78 €
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 13.75 €
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Book Paperback
common.buy 13.04 €
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Book Paperback
common.buy 9.90 €
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Book Hardback
common.buy 40.35 €
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Book Paperback
common.buy 14.35 €
Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella Janike Kyritz / Book Paperback
common.buy 14.46 €
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Book Paperback
common.buy 42.78 €
Königsblut / Book Paperback
common.buy 7.88 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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 Susanne Graf, Laurent Mounier
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 314
EAN 9783540213147
ISBN 3540213147
Libristo code 01559203
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 493
Dimensions 155 x 235 x 18

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Frontiers in Algorithms D. T. Lee / Book Paperback
common.buy 57.24 €
Classic Operating Systems Per Brinch Hansen / Book Hardback
common.buy 102.97 €
Mobile Communications Handbook Jerry D. Gibson / Book Paperback
common.buy 121.88 €
Gonzalva of Cordova; Or, Grenada Reconquered. Now First Translated from the French of M. Florian. in Three Volumes. ... Volume 2 of 3 Florian / Book Paperback
common.buy 20.73 €
Obituary Mario Martinez / Book Hardback
common.buy 26.29 €
7 Mindsets to Master Self-Awareness Elizabeth Diamond / Book Paperback
common.buy 16.28 €
Marble Mountain Bud Willis / Book Paperback
common.buy 17.39 €
Sanctuary Willa Ford / Book Hardback
common.buy 32.66 €
Can You Stand to Be Blessed Lakiya Broadus / Book Paperback
common.buy 20.32 €
Inspired Life Prof B S Ahluwalia / Book Paperback
common.buy 12.94 €
Top
The Power of the Pussy Kara King / Book Paperback
common.buy 14.86 €
How's the Weather in Fall? Rebecca Felix / Book Paperback
common.buy 12.03 €
A Time to Laugh [With Bag] Ben Alex / Book Hardback
common.buy 13.95 €
Patología celular Norman F. Cheville / Book Paperback
common.buy 38.83 €
Eurythmics Eurythmics / Book Paperback
common.buy 21.54 €
Top
First Steps: Caro-Kann Defence Andrew Martin / Book Paperback
common.buy 19.11 €
A History of Westbury, Long Island Richard Panchyk / Book Hardback
common.buy 25.28 €
After the World Ended Hannah Lackoff / Book Paperback
common.buy 14.86 €
Theory of Cryptography Amos Beimel / Book Paperback
common.buy 51.68 €
Advent Encounter MATT MESSNER / Book Hardback
common.buy 20.32 €
Eugenics and Other Evils G. K. Chesterton / Book Paperback
common.buy 17.59 €
Windows Server 2012 R2 Inside Out Volume 1 William Stanek / E-book Adobe ePub DRM
common.buy 30.84 €
Methods for Plant Nucleus and Chromatin Studies Célia Baroux / Book Hardback
common.buy 231.44 €
Governing Uncertainty Christopher Bosso / Book Hardback
common.buy 56.03 €

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?