
Logic Based Program Synthesis & Transformation
de Kung-Kiu Lau
Materias
Ediciones (2)
- Logic Based Program Synthesis and Transformation (2003)
Springer London, Limited · inglés · ISBN 9783540451426
- Logic Based Program Synthesis & Transformation (2001)
Springer · inglés · ISBN 9783540421276




