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

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 136 b
20 407 Ft
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 4 057 Ft
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Book Paperback
common.buy 13 512 Ft
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Book Paperback
common.buy 10 460 Ft
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Book Paperback
common.buy 6 223 Ft
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / E-book Adobe ePub DRM
common.buy 21 341 Ft
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 15 583 Ft
Gdzie się schował lisek? Akademia mądrego dziecka. Zabawa w chowanego opracowanie zbiorowe / Book Paperback
common.buy 2 436 Ft
Konec sezóny na koupališti Úštěk Veronika Bendová / Book Sheet
common.buy 4 554 Ft
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Book Paperback
common.buy 10 687 Ft
Top
T'choupi Thierry Courtin / Book Hardback
common.buy 3 351 Ft
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Book Hardback
common.buy 8 853 Ft
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Book Paperback
common.buy 7 588 Ft
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Book Paperback
common.buy 2 929 Ft
E-Democracy Martin Wolf / Book Paperback
common.buy 21 791 Ft
Tanri Yoktur Allahtan Baska Reza Aslan / Book Paperback
common.buy 5 592 Ft
100 fiocchi di neve a uncinetto Caitlin Sainio / Book Paperback
common.buy 7 967 Ft
Aprendo números / Book Paperback
common.buy 2 839 Ft

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 3 564 Ft
The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Book Paperback
common.buy 3 005 Ft
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Book Paperback
common.buy 4 057 Ft
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 7 607 Ft
Special Forces Sniper Training and Employment. by: Department of the Army Headquarters Department Of the Army Headquarters / Book Paperback
common.buy 9 275 Ft
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Book Paperback
common.buy 81 274 Ft
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Book Paperback
common.buy 2 464 Ft
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 12 398 Ft
The Scope of Immunology Sadiq Mareai / Book Paperback
common.buy 12 772 Ft
Advanced Macroeconomics Mahesh Kadam / Book Paperback
common.buy 12 772 Ft
History Education and the Construction of National Identities Mario Carretero / Book Hardback
common.buy 49 009 Ft
Study Guide Student Workbook for Garvey's Choice: Black Student Workbooks Rowan Black / Book Paperback
common.buy 2 659 Ft
The Cure Leah O'Neil / Book Paperback
common.buy 5 829 Ft
Nero And Actea: A Tragedy (1891) Eric MacKay / Book Paperback
common.buy 9 061 Ft
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Book Paperback
common.buy 12 910 Ft
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Book Paperback
common.buy 15 000 Ft
Unlocking Africa's Sustainable Development Patrick Ssempeera / Book Paperback
common.buy 20 331 Ft
Vow Debbie Howells / Audiobook MP3
common.buy 5 559 Ft
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Book Hardback
common.buy 7 365 Ft
Northern Plains Native Americans Balkowitsch Shane / Book Hardback
common.buy 26 137 Ft
Care of Dependent and Neglected Children Steele / Book Hardback
common.buy 10 550 Ft
Reflective Planning Journal for School Leaders Olaf Jorgenson / Book Paperback
common.buy 8 370 Ft
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Book Paperback
common.buy 10 142 Ft
Masonry in Compression A. T. Vermeltfoort / Book Paperback
common.buy 29 037 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?