2 Ebooks by Timothy P. Clement
Timothy P. Clement & Kung-Kiu Lau: Logic Program Synthesis and Transformation
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. Th …
PDF
Inggeris
DRM
€57.60
Timothy P. Clement & Kung-Kiu Lau: Logic Program Synthesis and Transformation
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or …
PDF
Inggeris
DRM
€57.99