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

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid…

byGopal GuptaEditorRicardo Pe

Paperback | December 22, 2014

Pricing and Purchase Info

$71.94 online 
$82.95 list price save 13%
Earn 360 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid…Format:PaperbackDimensions:237 pagesPublished:December 22, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319141244

ISBN - 13:9783319141244

Look for similar items by category:

Reviews