Pensum -10%
Dependable Software Engineering
Wang Yi, Zhiming Liu og 1 annen
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Dependable Software Engineering. Theories, Tools, and Applications
Redigert av Joost-Pieter Katoen, Nan Guan, Jun Sun, 2019.Del av serien Lecture Notes in Computer Science.
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.
PocketEngelsk
Normalpris: 649,-
584,-
Spar 65,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Dependable Software Engineering. Theories, Tools, and Applications
Redigert av Joost-Pieter Katoen, Nan Guan, Jun Sun, 2019.Del av serien Lecture Notes in Computer Science.
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities.
Normalpris: 649,-
584,-
Spar 65,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
584,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
