Logic Based Program Synthesis and Transformation > Editions
by M. Leuschel First published August 27th 2003
Published June 18th 2003
by Springer
2003, Paperback, 289 pages
Published January 1st 2008
by FisicalBook
Paperback, 0 pages


