Cover Image

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /

Show other versions (1)
Bibliographic Details
Corporate Author: LOPSTR (Symposium) Venice, Italy)
Other Authors: Puebla, Germán
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2007]
Series:Lecture notes in computer science. 4407.
Subjects:
Logic programming > Congresses.
Online Access:Connect to the full text of this electronic book
Description
Physical Description:viii, 235 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:9783540714095 (softcover : alk. paper)
354071409X (softcover : alk. paper)
ISSN:0302-9743 ;