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

    • US$79.99
    • US$79.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2022년
7월 1일
언어
EN
영어
길이
441
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
46.7
MB
Software Engineering and Formal Methods Software Engineering and Formal Methods
2021년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2021년
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019년
Formal Methods Formal Methods
2021년
NASA Formal Methods NASA Formal Methods
2022년
Formal Methods and Software Engineering Formal Methods and Software Engineering
2020년
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년