Logic Based Program Synthesis and Transformation
von
Patricia M. Hill
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-540-82103-8
ISBN-10: 3-540-82103-1
Springer
· 2008
