Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, Band 7225)
von
Germán Vidal
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-32210-5
ISBN-10: 3-642-32210-7
Springer
· 2012