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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540197423 - February 25, 1992
In case cover and title do not match, the title is correct

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

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 25, 1992
ISBN13 9783540197423
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 337
Dimensions 138 × 216 × 18 mm   ·   553 g
Language German  
Editor Clement, Timothy P.
Editor Lau, Kung-Kiu

Mere med samme udgiver

See all of Timothy P Clement ( e.g. Paperback Book )