Książka Model Checking Software Matthew Dwyer

Model Checking Software

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Autor: Matthew Dwyer
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.09
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2001
strony
318
EAN
9783540421245
ISBN
3540421246
Enbook ID
01563494
Waga
467
Wymiary
155 x 235 x 17

Pełny opis

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

Możesz być zainteresowany

Damnation

Peter McLean
50.97
60.35

Cracked Chessboard

Elizabeth Emberton
75.97
1 169.82
111.82
65.33

Hollow

MYERS CELINA
85.35
140.82

History of Market Drayton

John Robinson Lee
70.60

Prince Charming

Charity L Maness
42.57

A Prayer for Inner Peace

Allan A Glatthorn
49.90

Love and War

Warren MacQuarrie
168.95
62.89
40.72

Data Governance Act

Moritz Hennemann
737.16
82.71

Underdog

Sue-Ann Levy
121.39

Klienci, którzy kupili tę książkę, kupili również

Tokos

Gianna Hedderich
142.48

MI

Jevgenyij Zamjatyin
45.31

G_d'S Pee at State'S End!

Godspeed You! Black Emperor
156.35

Číňan

Henning Mankell
48.43

Postdemokratie

Colin Crouch
45.21

Treasurers of the Snow

Patricia St John
60.35

La casa de Tomasa

Phyllis Root
92.87
94.92

Fiat 850. 1964-1973

Alessandro Sannia
88.77
46.38