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:: Schreye, Danny; Kanade, Takeo; Kittler, Josef
Taal:: Engels
Uitgever:: Springer Berlin Heidelberg 2010
ISBN:: 3-642-12591-3
9786613564252
1-280-38633-9
3-642-12592-1
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000017282