Theoretical Aspects of Software Engineer
โ Cristina David; SUN MENG
๐ Library
๐ English
โฆ LIBER โฆ
๐
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023
โ Scribed by Cristina David (editor), Meng Sun (editor)
- Publisher
- Springer
- Tongue
- English
- Leaves
- 375
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4โ6, 2023.
The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.
๐ SIMILAR VOLUMES
Theoretical Aspects of Software Engineer
โ Yamine Aรฏt-Ameur, Florin Crฤciun
๐ Library
๐
2022
๐ Springer
๐ English
<span>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 fro
Theoretical Aspects of Software Engineer
โ Wei-Ngan Chin, Zhiwu Xu
๐ Library
๐
2024
๐ Springer
๐ English
Theoretical Aspects of Software Engineer
โ Yamine Aรฏt-Ameur (editor), Florin Crฤciun (editor)
๐ Library
๐
2022
๐ Springer
๐ English
<span>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 fro
Search-Based Software Engineering: 14th
โ Mike Papadakis, Silvia Regina Vergilio
๐ Library
๐
2022
๐ Springer
๐ English
<span>This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.</span><p><span>The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this vol
Search-Based Software Engineering. 14th
โ Mike Papadakis, Silvia Regina Vergilio
๐ Library
๐
2022
๐ Springer
๐ English