Logic-Based Program Synthesis and Transformation
de Andy King
Ediciones (1)
- Logic-Based Program Synthesis and Transformation (2008)
Springer London, Limited · inglés · ISBN 9783540787693
de Andy King
Springer London, Limited · inglés · ISBN 9783540787693
