
Logic Based Program Synthesis and Transformation
Ediciones (2)
- Logic Based Program Synthesis and Transformation (2004)
Springer London, Limited · inglés · ISBN 9783540259381
- Logic Based Program Synthesis and Transformation (2004)
Springer · inglés · ISBN 9783540221746





