Download Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers PDF

TitleLogic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
AuthorRicardo Peña (eds.)
LanguageEnglish
Region
FormatPDF
Pages249
File Size5.2 MB
Total Download2
Similar Free PDFs