Del 14784
Engineering of Complex Computer Systems
Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos
Häftad, 2024
837 kr
Theoretical Aspects of Software Engineering
16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
AvFlorin Craciun,Yamine Ait-Ameur
E-bok
Engelska, 20221 172 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Model and Data Engineering
Yamine Ait-Ameur, Jesus M. Almendros Jimenez, Oscar Pastor, Ladjel Bellatreche
E-bok
2016708 kr
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Dominique Mery, Shin Nakajima, Yamine Ait-Ameur
E-bok
20201 317 kr
Del 11852
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
Häftad, 2021
1 073 kr
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry
Inbunden, 2020
1 073 kr
Engineering of Complex Computer Systems
George A. Papadopoulos, Yamine Ait-Ameur, Fuyuki Ishikawa, Guangdong Bai
E-bok
20241 022 kr
Del 13299
- -30%