Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Gespeichert in:
Hauptverfasser:
Larsen, Kim Guldstrand (HerausgeberIn), Sokolsky, Oleg (HerausgeberIn), Wang, Ji (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2017
Umfang:
1 Online-Ressource (XVIII, 351 p. 74 illus)
text file PDF
Schriftenreihe:
Lecture Notes in Computer Science
ISBN:
9783319694832
ISSN:
0302-9743
Schlagworte:
Computer science
Software engineering
Computer logic
Mathematical logic
Mathematical statistics
Computer simulation
Bezugswerke:
Links: