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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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
19 925 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Sanaci Dami Alvarez / Book Paperback
common.buy 3 961 Ft
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Book Hardback
common.buy 5 812 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 215 Ft
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / E-book Adobe ePub DRM
common.buy 20 601 Ft
Konec sezóny na koupališti Úštěk Veronika Bendová / Book Sheet
common.buy 4 683 Ft
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Book Paperback
common.buy 6 076 Ft
T'choupi Thierry Courtin / Book Hardback
common.buy 3 346 Ft
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Book Paperback
common.buy 7 408 Ft
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Book Paperback
common.buy 11 517 Ft
100 fiocchi di neve a uncinetto Caitlin Sainio / Book Paperback
common.buy 7 866 Ft
Tanri Yoktur Allahtan Baska Reza Aslan / Book Paperback
common.buy 5 460 Ft
E-Democracy Martin Wolf / Book Paperback
common.buy 21 290 Ft
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Book Paperback
common.buy 2 860 Ft
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Book Paperback
common.buy 13 192 Ft
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Book Paperback
common.buy 10 226 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

The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Book Paperback
common.buy 2 934 Ft
Nero And Actea: A Tragedy (1891) Eric MacKay / Book Paperback
common.buy 7 117 Ft
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Book Paperback
common.buy 12 605 Ft
The Cure Leah O'Neil / Book Paperback
common.buy 5 692 Ft
Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch / Book Paperback
common.buy 3 480 Ft
The Scope of Immunology Sadiq Mareai / Book Paperback
common.buy 12 471 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 105 Ft
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Book Paperback
common.buy 14 645 Ft
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Book Paperback
common.buy 2 406 Ft
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Book Paperback
common.buy 79 353 Ft
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 7 427 Ft
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Book Paperback
common.buy 3 961 Ft
Masonry in Compression A. T. Vermeltfoort / Book Paperback
common.buy 28 365 Ft
De Doctrina Christiana Saint Augustine / Book Hardback
common.buy 135 038 Ft
History Education and the Construction of National Identities Mario Carretero / Book Hardback
common.buy 47 851 Ft
Integer Partitions George E. AndrewsKimmo Eriksson / Book Hardback
common.buy 77 651 Ft
Top
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Book Paperback
common.buy 9 745 Ft
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Book Hardback
common.buy 7 015 Ft
Vow Debbie Howells / Audiobook MP3
common.buy 5 354 Ft
Hymns And Sacred Songs (1832) Alexander Hume / Book Paperback
common.buy 8 482 Ft
Crazy Days with Pickles Rebekah Molander / Book Paperback
common.buy 7 367 Ft
Seabees at Gulfport Gina L. Nichols / Book Hardback
common.buy 9 611 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?