Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers / Sandro Etalle (ed.)
- Författare
- Italy) (2004 LOPSTR 2004 Verona
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |