fernando orejas
Automata, Languages and Programming
TaschenbuchPrint on DemandThe 28th International Colloquium on Automata, Languages and Programming (ICALP 2001) was held Ju...
TAPSOFT ’89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17,1989
TaschenbuchPrint on DemandTAPSOFT ''89 is the Third International Joint Conference on Theory and Practice of Software Devel...
Recent Trends in Data Type Specification
TaschenbuchPrint on DemandThis volume contains the proceedings of a workshop on specification of abstract data types. The m...
Recent Trends in Data Type Specification
TaschenbuchPrint on DemandResearch in the area of abstract data types started about 20 years ago. Since then there has been...
TAPSOFT ’89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17,1989
TaschenbuchPrint on DemandTAPSOFT ''89 is the Third International Joint Conference on Theory and Practice of Software Devel...
Formal Methods in Software and Systems Modeling
TaschenbuchPrint on DemandBy presenting state-of-the-art research results on various aspects of formal and visual modeling ...
Graph Transformation
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 12th International Conference on Graph Tran...
Recent Trends in Algebraic Development Techniques
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed postproceedings of the 17th International Workshop ...
Fundamental Approaches to Software Engineering
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the refereed proceedings of the 14th International Conference on Fundamenta...
- 1