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 GreatBookPrices, Columbia, MD, U.S.A.
AbeBooks Seller since April 6, 2009
New - Soft cover
Condition: New
Ships within U.S.A.
Quantity: 15 available
Add to basket