Logic-Based Program Synthesis and Transformation: 17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Format: paperback
ISBN:
9783540787686 (3540787682)
Publish date: June 1st 2008
Publisher: Springer
Pages no: 219
Edition language: English