Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science (1376), Band 1376)

Development

von Francesco Parisi-Presicce

Taschenbuch

EAN=ISBN-13: 978-3-540-64299-2

ISBN-10: 3-540-64299-4

Springer · 2008