Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7¿8, 2021, Proceedings
Wim Vanhoof
Sold by AHA-BUCH GmbH, Einbeck, Germany
AbeBooks Seller since August 14, 2006
New - Soft cover
Condition: New
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basket