Autorenfreundlich Bücher kaufen?!
Beschreibung
oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 09. August 2005 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 464 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540281955 |
| Seiten | 292 |
Schlagwörter
Herstellerinformationen
Bekannt durch
