Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers /

Bibliographic Details
Corporate Author: International Workshop on Logic-based Program Synthesis and Transformation Manchester, England
Other Authors: Flener, Pierre, 1964-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1999]
Series:Lecture notes in computer science. 1559.
Subjects:
Description
Physical Description:x, 330 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540657657
ISSN:0302-9743 ;