Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Liu

Häftad, Engelska, 2019

Del 11430 i serien Lecture Notes in Computer Science

638 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering;

Produktinformation

Utgivningsdatum:2019-04-14
Mått:155 x 235 x 15 mm
Vikt:394 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:237
Förlag:Springer Nature Switzerland AG
ISBN:9783030176006

Utforska kategorier

Mer om författaren

Editors: Jonathan P. Bowen, London Southbank University, UK; Zhiming Liu, Southwest University, Chongqing, China; Zili Zhang, Southwest University, Chongqing, China

Innehållsförteckning

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.