Logic-Based Program Synthesis and Transformation > Editions
by Andy King First published June 1st 2008
Published March 18th 2008
by Springer
2008, Paperback, 232 pages
Published December 3rd 2008
by Springer
Paperback, 236 pages


