Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers - Theoretical Computer Science and General Issues - Gopal Gupta - Books - Springer International Publishing AG - 9783319141244 - December 22, 2014
In case cover and title do not match, the title is correct

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers - Theoretical Computer Science and General Issues 2014 edition

Gopal Gupta

Price
₩ 74,800
excl. VAT

Ordered from remote warehouse

Expected delivery Sep 5 - 17

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers - Theoretical Computer Science and General Issues 2014 edition

237 pages, 51 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 22, 2014
ISBN13 9783319141244
Publishers Springer International Publishing AG
Pages 237
Dimensions 155 × 235 × 13 mm   ·   358 g
Language French  
Editor Gupta, Gopal
Editor Pena, Ricardo
Show all

More by Gopal Gupta

See all of Gopal Gupta ( e.g. Paperback Book and Hardcover Book )