Produktbild: Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

5th International Symposium, SETTA 2019, Shanghai, China, November 27-29,2019, Proceedings, Lecture Notes in Computer Science 11951 – Programming and Software Engineering

ISBN: 303035539X
ISBN 13: 9783030355395
Herausgeber: Nan Guan/Joost-Pieter Katoen/Jun Sun
Verlag: Springer Verlag GmbH
Umfang: xiii, 139 S., 112 s/w Illustr., 23 farbige Illustr., 139 p. 135 illus., 23 illus. in color.
Erscheinungsdatum: 10.11.2019
Auflage: 1/2020
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 8133131 Kategorie:

Beschreibung

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.   

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …