Cover of Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Pap by Hermenegildo, Manuel V, Lopez-Garcia, Pedro, ISBN 9783319631387
General

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Pap

Contributor(s): Editor , Editor Format: Paperback

Paperback ยท ISBN 9783319631387

โ‚น5,675 2%
โ‚น5,804

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9783319631387
Publisher Springer
Publication date July 2017
Language English
MRP ยฃ44.99 GBP
Page count 380
Item weight 117 g

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Pap published by Springer.