Enlarge

Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Publication Data

Title Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
Contributor K.-K Lau
Publisher Springer
Publication date 2001
Publication location Berlin
Language English

Topics

Logic programming :: Congresses

Catalogue Data

OBNB ID GBA132358
ISBN 10 3540421270
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.115

ISBD

P1053 viii, 181 p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers. ISBN 3540421270. Published by Springer in 2001. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.