Cover of Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Pap by Bruynooghe, Maurice, ISBN 9783540221746
Computer Science

Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Pap

LOGIC BASED PROGRAM SYNTHESIS

Contributor(s): Editor Format: Paperback

Paperback ยท ISBN 9783540221746

โ‚น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 9783540221746
Subtitle LOGIC BASED PROGRAM SYNTHESIS
Publisher Springer
Publication date June 2004
Language English
MRP ยฃ44.99 GBP
Page count 248
Item weight 78 g

Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Pap published by Springer.