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

Saved in:
Bibliographic Details
Corporate Authors: LOPSTR 2000 (2000 London, England) (London, England))
Group Author: Lau K.-K.; (Kung-Kiu), 1953-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2001.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 2042
Subjects:
Carrier Form: viii, 181 p.: ill. ; 24 cm.
Publication Frequency: Also available via the World Wide Web.
ISBN: 3540421270 (pbk. : alk. paper)
Index Number: TP311
CLC: TP311.11-532
Call Number: TP311.11-532/L832.2/2000
Contents: Includes bibliographical references.