Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science (2372), Band 2372)
von
Alberto Pettorossi
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-43915-8
ISBN-10: 3-540-43915-3
Springer
· 2008
