Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 712, 2018, Tutorial Lectures 11430 Lecture Notes in Computer Science

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 712, 2018, Tutorial Lectures 11430 Lecture Notes in Computer Science
An Introduction to Software Verification with Whiley.- Learning Büchi Automata and Its Applications.- Securing Emergent IoT Applications.- Programming Z3.- The Impact of Alan Turing: Formal Methods and Beyond.
Nº de Páginas:
Encadernação: Capa Mole / Paperback
Tema: Software Engineering