CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016...
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016... by Hermenegildo, Manuel V., Lo... ISBN: 9783319631387 List Price: $84.00
$51.31 (Save 38%)
2.
Analysis, Verification and Transformation for Declarative Programming and Intelligent System...
Analysis, Verification and Transformation for Declarative Programming and Intelligent System... by Lopez-Garcia, Pedro, Gallag... ISBN: 9783031314759 List Price: $139.99
$128.31 (Save 8%)