Logic Program Synthesis and Transformation, Louvain-la-Neuve 1993. Workshops in Computing

Deville, Yves, ed.

ISBN 10: 0387198644 / ISBN 13: 9780387198644

Published by Springer, 1994

About this Item

245 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB349023

Bibliographic Details

Title: Logic Program Synthesis and Transformation, ...

Publisher: Springer

Publication Date: 1994

Binding: Soft cover

Condition: Good

About this title

Synopsis:

Logic Program Synthesis and Transformation Logic program synthesis and transformation play a vital role in the automation of the software production process. This volume of conference proceedings surveys the research in progress and discusses new trends in logic program development and related areas.