Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bowen, Jonathan P. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Liu, Zhiming (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zhang, Zili (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Programming and Software Engineering ; 11430
• Θέματα: Software engineering.; Computer communication systems.; Algorithms.; Computer logic.; Mathematical logic.; Artificial intelligence.; Software Engineering.; Computer Communication Networks.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence.

This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China. The five chapters in this volum...

Πίνακας περιεχομένων:

• 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. .