Logic-based Program Synthesis and Transformation : 16th International Symposium, Lopstr 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Puebla, Germán (EDT)
Sold by GreatBookPricesUK, Woodford Green, United Kingdom
AbeBooks Seller since January 28, 2020
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Add to basket