Engineering trustworthy software systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures - Bowen, Jonathan P. 1956-; Liu, Zhiming 1961-; Zhang, Zili (Springer, 2018)
Literaturangaben
Keywords: Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; The Computing Profession; System Performance and Evaluation; Software engineering; Computer science; Logic design; Computer industry; Computer system performance; Computer; Software; Programmierung; Konferenzschrift -- 2017 -- Chongqing; Aufsatzsammlung