Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Gespeichert in:
Hauptverfasser:
Fischer, Bernd (HerausgeberIn), Geldenhuys, Jaco (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing 2015
Ausgabe:
1st ed. 2015
Umfang:
XVIII, 319 p. 66 illus
ISBN:
9783319234045
ISSN:
0302-9743
Schlagworte:
Computer science
Software engineering
Logic design
Bezugswerke:
Links: