Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering

Theoretical Aspects of Software Engineering

16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings

    • USD 79.99
    • USD 79.99

Descripción editorial

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.

GÉNERO
Informática e Internet
PUBLICADO
2022
1 de julio
IDIOMA
EN
Inglés
EXTENSIÓN
441
Páginas
EDITORIAL
Springer International Publishing
VENDEDOR
Springer Nature B.V.
TAMAÑO
46.7
MB
Engineering of Complex Computer Systems Engineering of Complex Computer Systems
2024
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
2020
Formal Methods and Software Engineering Formal Methods and Software Engineering
2019
Model and Data Engineering Model and Data Engineering
2016