Read Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005,
- 8 years ago
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Read or Download Now http://librarysecret.com/?book=3540326545
Read or Download Now http://librarysecret.com/?book=3540326545