phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Model Checking Software

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 200 b
79.96 €
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Cracked James Davies / Paperback
common.buy 11.31 €
Last Generation of the Roman Republic Gruen / Paperback
common.buy 52.36 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Hardback
common.buy 179.34 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Hardback
common.buy 48.92 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Paperback
common.buy 24.86 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Paperback
common.buy 96.94 €
Methane and its Derivatives Sunggyu Lee / Hardback
common.buy 444.62 €
Mapa ecoturístic de Catalunya Antoni Curcó Masip / Paperback
common.buy 15.86 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Paperback
common.buy 30.12 €
La Nuit: Imaginaire Et Realites Nocturnes Dans Le Monde Greco-Romain A. Chaniotis / Hardback
common.buy 72.38 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Paperback
common.buy 13.74 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Paperback
common.buy 37.40 €
Restraining Rage William Vernon Harris / Paperback
common.buy 50.03 €
GER-ARA PACIS AVGVSTAE George 1841 Niemann / Paperback
common.buy 27.19 €

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.

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

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