Recent Trends In Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, . ... Italy, April 1-3, 2001, Selected Papers
von
Maura Cerioli
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-43159-6
ISBN-10: 3-540-43159-4
Springer
· 2002
