Dependable Software Engineering. Theories, Tools, and Applications

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

AvZijiang Yang,Markus Muller-Olm

E-bok
Engelska, 2018

734 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, 
Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. 
The 9 full papers presented together with 3 short papers  were carefully reviewed and selected from 22 submissions. 
The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the  field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Kristin Hannah - Näktergalen, Pocket
  • 4 för 3

Näktergalen

Kristin Hannah

Pocket, 2023

4,6 utav 5 stjärnor. Totalt antal röster:(69)

99 kr

Malin Nordström - Kalla mig syster, Pocket
  • -30%
Del 1

Kalla mig syster

Malin Nordström

Pocket, 2026

4,3 utav 5 stjärnor. Totalt antal röster:(4)

69 kr99 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,1 utav 5 stjärnor. Totalt antal röster:(22)

209 kr259 kr

Jens Ganman - Skjut Gräv Tig, Häftad
  • -17%
Del 2

Skjut Gräv Tig

Jens Ganman

Häftad, 2026

4,8 utav 5 stjärnor. Totalt antal röster:(232)

189 kr229 kr