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
|