Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Notes in Computer Science, Band 10855)

International

von: Fabio Fioravanti · John P. Gallagher

Taschenbuch

ISBN: 978-3-319-94459-3

ISBN-10: 3-319-94459-2

Springer · 2018