Adonia Verlag: Recent Trends in Algebraic Development TechniquesSpringer

Recent Trends in Algebraic Development Techniques

14th International Workshop, WADT '99, Chateau de Bonas, September 15-18,1999 Se
Springer
ISBN 9783540678984
Taschenbuch/Paperback
CHF 60.20
Wird für Sie besorgt
Language), CASL semantics, CASL tools, methodology, and reactive systems.
ZUM ANFANG