Format:
1 Online-Ressource(XV, 426 p. 192 illus., 90 illus. in color.)
Edition:
1st ed. 2022.
ISBN:
9783031103636
Series Statement:
Lecture Notes in Computer Science 13299
Content:
Software Engineering -- Theoretical Computer Science in industrial applications -- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.
Content:
This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
Additional Edition:
ISBN 9783031103629
Additional Edition:
ISBN 9783031103643
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783031103629
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783031103643
Language:
English
DOI:
10.1007/978-3-031-10363-6