Das Buch ist derzeit nicht auf Lager
Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Autoren
Parameter
Buchkauf
Model Checking Software, Bernd Fischer
- Sprache
- Erscheinungsdatum
- 2015
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Model Checking Software
- Untertitel
- 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
- Sprache
- Englisch
- Autor*innen
- Bernd Fischer
- Verlag
- Springer-Verlag GmbH
- Erscheinungsdatum
- 2015
- ISBN10
- 331923403X
- ISBN13
- 9783319234038