Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science, Band 5438)

International

von Michael Hanus

Taschenbuch

ISBN: 978-3-642-00514-5

ISBN-10: 3-642-00514-4

Springer Berlin Heidelberg · 2010