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

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

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Larsen, Kim Guldstrand. (Editor), Sokolsky, Oleg. (Editor), Wang, Ji. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Programming and Software Engineering ; 10606
Subjects:
Software engineering.
Computer logic.
Mathematical logic.
Computer simulation.
Mathematical statistics.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
Probability and Statistics in Computer Science.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items