Logic-Based Program Synthesis and Transformation electronic resource : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |