Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
EDITION STATEMENT
Statement of Responsibility Relating to Edition
2003 : Uppsala, Sweden
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, ]233[ p.: ill., tables
SERIES
Other Title Information
Lecture notes in computer science; 8103
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540221743
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY