Originalsprog | Engelsk |
---|---|
Titel | Logic Based Program Synthesis and Transformation |
Redaktører | Sandro Etalle |
Forlag | Springer |
Publikationsdato | 2005 |
Sider | 53-68 |
ISBN (Trykt) | 3-540-26655-0 |
Status | Udgivet - 2005 |
Begivenhed | Logic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004 - Verona, Italien Varighed: 26 aug. 2005 → 28 aug. 2005 |
Konference
Konference | Logic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004 |
---|---|
Land/Område | Italien |
By | Verona |
Periode | 26/08/2005 → 28/08/2005 |
Bibliografisk note
Seriensstitel: Lecture Notes in Computer ScienceSeriens nummer: 3573