Tools and Algorithms for the Construction and Analysis of Systems
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
Livre Ecrit par: Rosu, Grigore ; Fisman, Dana ; Publié en: 2022
Edition:
Cham:
Springer International Publishing
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783030995249
Thème
Informatique
Mots clés:
Computer sciences
Microprogramming
Computer engineering
Computer networks
Computer simulation
Software engineering
