Theoretical Aspects of Software Engineering edited by Cristina David, Meng Sun. [electronic resource] :
Material type: TextPublication details: Cham Springer Nature Switzerland 2023Edition: 1st ed. 2023Description: X, 366 p. 113 illus., 53 illus. in color. online resourceISBN:- 9783031352577
- 5.1
Item type | Home library | Call number | Status | Notes | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
e-Book | S. R. Ranganathan Learning Hub Online | Available | Platform:Springer | EB2354 |
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.
There are no comments on this title.