Logic-based program synthesis and transformation: 32nd international symposium, lopstr 2022, tbilisi, georgia, september 21–23, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031167669
Date de publication :
11 sept. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse