Logic Based Program Synthesis And Transformation: 13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25 27, 2003, Revised Selected Papers (Lecture Notes In Computer Science)
Format: paperback
ISBN:
9783540221746 (3540221743)
Publish date: June 24th 2004
Publisher: Springer
Pages no: 238
Edition language: English