Cover of Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected by Albert, Elvira, ISBN 9783642381966
Computer Science

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected

LOGIC-BASED PROGRAM SYNTHESIS

Contributor(s): Editor Format: Paperback

Paperback ยท ISBN 9783642381966

โ‚น5,296 2%
โ‚น5,417

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 9783642381966
Subtitle LOGIC-BASED PROGRAM SYNTHESIS
Publisher Springer
Publication date May 2013
Language English
MRP ยฃ41.99 GBP
Page count 256
Item weight 80 g

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected published by Springer.