作者: Timothy P. Clement

支持

2 电子书 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
英语
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
英语
DRM
€57.99