Theoretical Aspects of Software Engineering
16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
Livre Ecrit par: Crăciun, Florin ; Aït-Ameur, Yamine ; Publié en: 2022
Edition:
Cham:
Springer International Publishing
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783031103636
Thème
Informatique
Mots clés:
architecting
architecture verification and validation
Artificial intelligence
computer programming
Computer sciences
embedded systems
engineering
formal logic
Internet
theoretical computer science
