Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers / Andy King (editor)
- Författare
- Denmark) (2007 LOPSTR 2007 Kongens Lyngby
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |