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

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software Alastair Donaldson
Libristo code: 01661641
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Full description
? points 115 b
47.58 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Analisi del (dis)comfort termico e sue implicazioni pedagogiche Juv?ncio Olinda Jo?o Macovela / Book Paperback
common.buy 26.82 €
Polnische Ostseeküste Wolfgang Kling / Book Paperback
common.buy 14.47 €
Veselý vlak - Nálepky do vane neuvedený autor / Printed items Cards
common.buy 11.53 €
FAUNO Cristina Lobo / Book Paperback
common.buy 21.25 €
Studien zur Geschichte der Medizin Viktor von Fossel / Book Hardback
common.buy 53.46 €
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Book Paperback
common.buy 40.70 €
Dictionnaire généalogique des habitants de Saint-Just (Cher) Laroche / Book Paperback
common.buy 111.88 €
Krabben Günter Pump / Book Hardback
common.buy 8.60 €
Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Book Paperback
common.buy 32.09 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Book Paperback
common.buy 26.72 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Book Paperback
common.buy 16.19 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Book Paperback
common.buy 34.01 €
Ganz normale Bürger David King / Book Hardback
common.buy 20.65 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Book Paperback
common.buy 13.56 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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 Alastair Donaldson, David Parker
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 261
EAN 9783642317583
ISBN 3642317588
Libristo code 01661641
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 421
Dimensions 155 x 235 x 15

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

Poetical Works of John Dryden. with Life and Critical Dissertation [By George Gilfillan]. the Text Edited by Charles Cowden Clarke. Charles Cowden Clarke / Book Paperback
common.buy 25.20 €
Equivalence and Literary Translation. Short Introduction to the Translation Studies Marta Zapala-Kraj / Book Paperback
common.buy 25.10 €
Hidden Dungeon Only I Can Enter (Manga) Vol. 1 Tomoyuki Hino / Book Paperback
common.buy 10.62 €
The Bible by Jesus: A Modern Paraphrase by Elmer L. Towns Elmer Towns / Book Paperback
common.buy 22.88 €
Esther's Tooth: Judge Ortega investigates Mike Thomas / Book Paperback
common.buy 14.88 €
The Fulcrum Files Mark Chisnell / Book Paperback
common.buy 15.79 €
Holomorphic Foliations with Singularities Bruno Scardua / Book Hardback
common.buy 80.59 €
Music and Technology: A Very Short Introduction Katz / Book Paperback
common.buy 10.62 €
Newsmakers Gale Group / Book Hardback
common.buy 220.23 €
Trapped Under the Sea Neil Swidey / Book Paperback
common.buy 18.72 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Book Hardback
common.buy 45.86 €
Stories from Mother's Note Book Lucy Tonge / Book Hardback
common.buy 31.68 €
Sanctuary of Demeter and Kore Nancy Bookidis / Book Hardback
common.buy 180.64 €
A treatise on the improvement of canal navigation; ... Illustrated with seventeen plates. By R. Fulton, ... Robert Fulton / Book Paperback
common.buy 18.52 €
Restraining Rage William Vernon Harris / Book Paperback
common.buy 46.87 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Book Paperback
common.buy 11.74 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Book Hardback
common.buy 187.12 €
Cracked James Davies / Book Paperback
common.buy 13.96 €
Magnetic Micro and Nanorobot Swarms: From Fundamentals to Applications Li Zhang / Book Hardback
common.buy 144.19 €
International Climate Change Law Daniel Bodansky / Book Paperback
common.buy 92.24 €
Everything we do is music Barry Russell / Book Paperback
common.buy 32.80 €
Last Generation of the Roman Republic Gruen / Book Paperback
common.buy 49.10 €
Classification and Cognition William K. Estes / Book Paperback
common.buy 53.76 €
Integration Through Foreign Direct Investment Gábor Hunya / Book Hardback
common.buy 166.97 €

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?