Logic-Based Program Synthesis and Transformation - bib.howest.be

Logic-Based Program Synthesis and Transformation

Type:: e-book
Titel:: Logic-Based Program Synthesis and Transformation
Auteur:: Mesnard; Stuckey, Peter J.
Taal:: Engels
Uitgever:: Springer International Publishing 2019
ISBN:: 3-030-13837-2
3-030-13838-0
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000007810298