Cover Image

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cu...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Guan, Nan. (Editor, http://id.loc.gov/vocabulary/relators/edt), Katoen, Joost-Pieter. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sun, Jun. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Programming and Software Engineering ; 11951
Subjects:
Software engineering.
Computer organization.
Microprogramming .
Computer simulation.
Computer logic.
Mathematical logic.
Software Engineering.
Computer Systems Organization and Communication Networks.
Control Structures and Microprogramming.
Simulation and Modeling.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-030-35540-1

Internet

https://doi.org/10.1007/978-3-030-35540-1

Similar Items