Autor: Timothy P. Clement

Wsparcie

2 Ebooki wg 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
Angielski
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
Angielski
DRM
€57.99