Code: 01563035

SPIN Model Checking and Software Verification

Name: SPIN Model Checking and Software Verification
Brand: Springer, Berlin
SKU: 01563035
Price: 51.53 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9783540410300

by Klaus Havelund, John Penix, Willem Visser

Language: English
Binding: Paperback
Number of pages: 346
Publisher: Springer, Berlin, 2000
More about this

51.53 €

RRP: 55.80 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Dictionary of law English - Hebrew / Hebrew - English
8.97 € -14 %
Buy
T'choupi
9.17 €
Buy
Over, Under, Through: Obstacle Training for Horses
25.51 € -9 %
Buy
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE
15.02 € -6 %
Buy
Heads
18.25 € -24 %
Buy
Konec sezóny na koupališti Úštěk
10.48 € -31 %
Buy
Analyzing Classical Form
160.77 €
Buy
The Balkans: A History of Bulgaria and Serbia
7.25 € -6 %
Buy
100 fiocchi di neve a uncinetto
21.88 €
Buy
Mystic River
13.71 €
Buy
Los Compás y el diamantito legendario
22.28 € -9 %
Buy
De Doctrina Christiana
383.28 €
Buy
Northern Plains Native Americans
65.85 € -9 %
Buy
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1
26.42 € -1 %
Buy
Study Guide Student Workbook for Garvey's Choice: Black Student Workbooks
6.34 € -7 %
Buy
History Education and the Construction of National Identities
120.52 €
Buy
Nero And Actea: A Tragedy (1891)
21.88 € -2 %
Buy
Special Forces Sniper Training and Employment. by: Department of the Army Headquarters
22.28 € -7 %
Buy
Integer Partitions
207.67 €
Buy
Care of Dependent and Neglected Children
25.51 € -2 %
Buy
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook
18.25 € -7 %
Buy
Advanced Macroeconomics
31.96 € -14 %
Buy
Bureau of American Ethnology Bulletin 76 Archeological Investigations
9.77 € -6 %
Buy
The Life And Letters Of John Collingwood Bruce (1905)
36.30 € -2 %
Buy
Tanri Yoktur Allahtan Baska
14.11 € -4 %
Buy
E-Democracy
59.70 €
Buy
Der Eindringling / L'intrus. L'Intrus
7.35 € -8 %
Buy
Masonry in Compression
79.57 € -4 %
Buy
The Cure
14.01 € -7 %
Buy
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well
18.55 € -9 %
Buy
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks
5.94 € -6 %
Buy
Seabees at Gulfport
22.99 € -25 %
Buy
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie
18.25 € -6 %
Buy
The Scope of Immunology
31.96 € -14 %
Buy
Hymns And Sacred Songs (1832)
21.07 € -1 %
Buy
Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together
29.95 € -2 %
Buy
Reflective Planning Journal for School Leaders
22.99 € -9 %
Buy
Tricked / Trapped Into Poverty
16.53 €
Buy
Aprendo números
7.76 €
Buy
Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo
39.13 € -14 %
Buy
Unlocking Africa's Sustainable Development
49.51 €
Buy
Sanaci
9.77 € -6 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about SPIN Model Checking and Software Verification

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

51.53 €

Full title: SPIN Model Checking and Software Verification
Subtitle: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
Author: Klaus Havelund, John Penix, Willem Visser
Language: English
Binding: Paperback
Number of pages: 346
EAN: 9783540410300
ISBN: 3540410309
ID: 01563035
Publisher: Springer, Berlin
Weight: 508 g
Dimensions: 235 × 155 × 18 mm
Published: 2000