Tools and algorithms for the construction and analysis of systems: 31st international conference, tacas 2025, held as part of the international joint conferences on theory and practice of software, etaps 2025, hamilton, on, canada, may 3–8, 2025, proceedings, part i
Éditeur :
Springer International Publishing AG
ISBN :
9783031906428
Date de publication :
1 mai 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse