Logic-based program synthesis and transformation: 26th international symposium, lopstr 2016, edinburgh, uk, september 6–8, 2016, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319631387
Date de publication :
25 juil. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse