TY -
GEN
AU - Larsen, Kim Guldstrand
AU - Sokolsky, Oleg
AU - Wang, Ji
TI -
Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
PB - Springer
SN - 9783319694832
KW - Computer logic
KW - Mathematical logic
KW - Computer science
KW - Software engineering
KW - Mathematical statistics
KW - Computer simulation
KW - Computer Science
KW - Machine theory.
PY - 2017
BT - Lecture Notes in Computer Science ; 10606
BT - SpringerLink ; Bücher
BT - Springer eBook Collection ; Computer Science
CY - Cham
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -