
Logic Based Program Synthesis and Transformation
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Materias
Ediciones (2)
- Logic Based Program Synthesis and Transformation (2006)
Springer · inglés · ISBN 9783540326540
- Logic Based Program Synthesis and Transformation (2006)
Springer London, Limited · inglés · ISBN 9783540326564


