
* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Logic Based Program Synthesis and Transformation(English, Electronic book text, Etalle Sandro) is written by Etalle Sandro and published by Springer Verlag Berlin Heidelberg. It's available with International Standard Book Number or ISBN identification 3540316833 (ISBN 10) and 9783540316831 (ISBN 13).