Für die Filterung wurden keine Ergebnisse gefunden!
- paperback
- 356 Seiten
- Erschienen 2008
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Das Buch "SPIN Model Checking and Software Verification" dokumentiert die Beiträge des 7. Internationalen SPIN Workshops, der vom 30. August bis 1. September 2000 in Stanford, Kalifornien stattfand. Der Workshop bietet Forschern eine...
53,44 €