TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Develo...
Methods for the algebraic specification of abstract data types were proposed in the early 1970s i...
This book constitutes the refereed proceedings of the 12th International Conference on Graph Tran...
The 28th International Colloquium on Automata, Languages and Programming (ICALP 2001) was held Ju...
The algebraic specification of abstract data types is now awell establishedresearch topic in comp...
Research in the area of abstract data types started about 20 years ago. Since then there has been...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic...
By presenting state-of-the-art research results on various aspects of formal and visual modeling ...
TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Develo...
This book constitutes the refereed proceedings of the 14th International Conference on Fundamenta...
Unser bisheriger Preis:ORGPRICE: 89,99 €