loading

Logout succeed

Logout succeed. See you again!

ebook img

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers PDF

pages258 Pages
release year2011
file size4.672 MB
languageEnglish

The list of books you might like