Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005 London, UK, September 7-9, 2005 Revised Selected Papers ... Notes in Computer Science (3901), Band 3901)
von
Patricia M. Hill
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-32654-0
ISBN-10: 3-540-32654-5
Springer
· 2009
