Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Matthew Dwyer (ed.)
Bok Engelsk 2001 International SPIN Workshop
| Annen tittel | |
|---|---|
| Utgitt | Berlin : Springer , c2001
|
| Omfang | X, 311 s. : ill.
|
| Opplysninger | "ACM SIGSOFT, Special Interest Group on Software Engineering" - Omslaget
|
| Emner | |
| Dewey | |
| ISBN | 3540421246
|
