Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected ... Notes in Computer Science, Band 8901)

International

von: Gopal Gupta · Ricardo Peña

Taschenbuch

EAN=ISBN-13: 978-3-319-14124-4

ISBN-10: 3-319-14124-4

Springer · 2014