Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, Band 3573)

International

von Sandro Etalle

Taschenbuch

ISBN-13: 978-3-540-26655-6

ISBN-10: 3-540-26655-0

Springer Berlin Heidelberg · 2008