Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science, Band 6037)
von
Danny De Schreye
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-12591-1
ISBN-10: 3-642-12591-3
Springer
· 2010