Cover of Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected P by Gupta, Gopal, Peña, Ricardo, ISBN 9783319141244
General

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected P

LOGIC-BASED PROGRAM SYNTHESIS

Contributor(s): Editor , Editor Format: Paperback

Paperback · ISBN 9783319141244

₹5,044 2%
₹5,159

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 9783319141244
Subtitle LOGIC-BASED PROGRAM SYNTHESIS
Publisher Springer
Publication date December 2014
Language English
MRP £39.99 GBP
Page count 252
Item weight 79 g

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected P published by Springer.