Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, ... Notes in Computer Science, Band 13649) - Softcover

 
9783031212123: Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, ... Notes in Computer Science, Band 13649)
Softcover
ISBN 10: 3031212126 ISBN 13: 9783031212123
Verlag: Springer, 2022

Inhaltsangabe

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.

The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2022
Sprache
Englisch
ISBN 10 
3031212126
ISBN 13 
9783031212123
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
260
Herausgeber
Dong Wei, Talpin Jean-Pierre
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783031212147: Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Vorgestellte Ausgabe

ISBN 10:  3031212142 ISBN 13:  9783031212147
Verlag: Springer, 2022
Softcover