Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Produktform: E-Buch Text Elektronisches Buch in proprietärem
128,39 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Produktform: Buch / Einband - flex.(Paperback)
139,09 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage