Pastāsti draugiem par šo preci:
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 - Workshops in Computing Timothy P Clement
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 - Workshops in Computing
Timothy P Clement
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.
337 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1992. gada 25. februāris |
| ISBN13 | 9783540197423 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 337 |
| Izmēri | 138 × 216 × 18 mm · 553 g |
| Valoda | Vācu |
| Redaktors | Clement, Timothy P. |
| Redaktors | Lau, Kung-Kiu |