Logic Based Program Synthesis and Transformation
Subtitle: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540259381
Subjects: Logic design; Computer programs, design