This image is currently not available.

Logic-Based Program Synthesis and Transformation

German Puebla(Editor)
Springer (Publisher)
Published on 4. September 2008
Book
Paperback/Softback
252 pages
978-3-540-83647-6 (ISBN)
€23.16incl. 7% vat
Withdrawn from sale

More details