Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
Patrice Godefroid (ed.)
Bok Engelsk 2005 International SPIN Workshop
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XI, 287 s. : ill.
|
| Emner | |
| ISBN | 3540281959. - 9783540281955
|
