Logic-based program synthesis and transformation: 35th international symposium, lopstr 2025, rende, italy, september 9–10, 2025, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032048479
Date de publication :
13 sept. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse