SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Klaus Havelund, John Penix, Willem Visser (eds.)
Bok Engelsk 2000 International SPIN Workshop
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | X, 342 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540410309
|
