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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Language EnglishEnglish
Book Paperback
Book SPIN Model Checking and Software Verification Klaus Havelund
Libristo code: 01563035
Publishers Springer, Berlin, November 1999
This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, he... Full description
? points 132 b
54.48 €
106.56  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Sanaci Dami Alvarez / Book Paperback
common.buy 10.35 € 20.25 лв
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Book Paperback
common.buy 35.99 € 70.40 лв
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Book Paperback
common.buy 27.96 € 54.69 лв
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Book Paperback
common.buy 15.84 € 30.99 лв
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / E-book Adobe ePub DRM
common.buy 61.63 € 120.54 лв
Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla / Book Paperback
common.buy 41.54 € 81.24 лв
Konec sezóny na koupališti Úštěk Veronika Bendová / Book Sheet
common.buy 12.84 € 25.11 лв
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Book Paperback
common.buy 29.42 € 57.53 лв
T'choupi Thierry Courtin / Book Hardback
common.buy 9.68 € 18.93 лв
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Book Hardback
common.buy 17.29 € 33.83 лв
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Book Paperback
common.buy 19.26 € 37.68 лв
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Book Paperback
common.buy 7.82 € 15.29 лв
E-Democracy Martin Wolf / Book Paperback
common.buy 62.93 € 123.08 лв
Tanri Yoktur Allahtan Baska Reza Aslan / Book Paperback
common.buy 14.91 € 29.17 лв
100 fiocchi di neve a uncinetto Caitlin Sainio / Book Paperback
common.buy 22.99 € 44.97 лв
Aprendo números / Book Paperback
common.buy 8.18 € 16.00 лв

This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, held in Stanford, California in August/September 2000. This book is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems. The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. The 17 revised full papers presented together with three tutorial contributions were carefully reviewed and selected from 31 submissions. The book competently presents the state of the art in SPIN model checking.

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 SPIN Model Checking and Software Verification
Author Klaus Havelund, John Penix, Willem Visser
Language English
Binding Book - Paperback
Date of issue 2000
Number of pages 346
EAN 9783540410300
ISBN 3540410309
Libristo code 01563035
Publishers Springer, Berlin
Weight 508
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

Top
Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch / Book Paperback
common.buy 9.47 € 18.53 лв
The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Book Paperback
common.buy 7.66 € 14.98 лв
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Book Paperback
common.buy 10.35 € 20.25 лв
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 19.31 € 37.78 лв
Special Forces Sniper Training and Employment. by: Department of the Army Headquarters Department Of the Army Headquarters / Book Paperback
common.buy 23.56 € 46.08 лв
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Book Paperback
common.buy 217.13 € 424.66 лв
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Book Paperback
common.buy 6.26 € 12.25 лв
Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART / Book Hardback
common.buy 31.64 € 61.89 лв
The Scope of Immunology Sadiq Mareai / Book Paperback
common.buy 34.08 € 66.65 лв
Advanced Macroeconomics Mahesh Kadam / Book Paperback
common.buy 34.08 € 66.65 лв
History Education and the Construction of National Identities Mario Carretero / Book Hardback
common.buy 126.38 € 247.17 лв
Study Guide Student Workbook for Garvey's Choice: Black Student Workbooks Rowan Black / Book Paperback
common.buy 6.78 € 13.26 лв
The Cure Leah O'Neil / Book Paperback
common.buy 14.86 € 29.06 лв
Nero And Actea: A Tragedy (1891) Eric MacKay / Book Paperback
common.buy 23.15 € 45.27 лв
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Book Paperback
common.buy 32.83 € 64.22 лв
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Book Paperback
common.buy 38.32 € 74.96 лв
Unlocking Africa's Sustainable Development Patrick Ssempeera / Book Paperback
common.buy 50.65 € 99.07 лв
Vow Debbie Howells / Audiobook MP3
common.buy 16.00 € 31.29 лв
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Book Hardback
common.buy 15.79 € 30.89 лв
Northern Plains Native Americans Balkowitsch Shane / Book Hardback
common.buy 69.76 € 136.45 лв
Care of Dependent and Neglected Children Steele / Book Hardback
common.buy 26.93 € 52.67 лв
Reflective Planning Journal for School Leaders Olaf Jorgenson / Book Paperback
common.buy 24.34 € 47.60 лв
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Book Paperback
common.buy 27.08 € 52.97 лв
Masonry in Compression A. T. Vermeltfoort / Book Paperback
common.buy 83.96 € 164.20 лв

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?