Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science, Band 5486)
von:
Andrea Corradini
·
Ugo Montanari
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-03428-2
ISBN-10: 3-642-03428-4
Springer
· 2009
