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

53.49 EUR

Marke: Springer