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

 
9783031212147: Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Tapa blanda
ISBN 10: 3031212142 ISBN 13: 9783031212147
Editorial: Springer, 2022

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2022
Idioma
Inglés
ISBN 10 
3031212142
ISBN 13 
9783031212147
Encuadernación
Tapa blanda
Número de páginas
260
Editor
Talpin Jean-Pierre, Dong Wei
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  3031212126 ISBN 13:  9783031212123
Editorial: Springer, 2022
Tapa blanda