Download Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers PDF

TitleLogic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
AuthorGermán Vidal (eds.)
LanguageEnglish
Region
FormatPDF
Pages262
File Size3.0 MB
Total Download1
Similar Free PDFs