fernando orejas
Automata, Languages and Programming
Print 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
Print on DemandTAPSOFT ''89 is the Third International Joint Conference on Theory and Practice of Software Devel...
Recent Trends in Data Type Specification
Print on DemandThis volume contains the proceedings of a workshop on specification of abstract data types. The m...
Recent Trends in Data Type Specification
Print 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
Print on DemandTAPSOFT ''89 is the Third International Joint Conference on Theory and Practice of Software Devel...
Formal Methods in Software and Systems Modeling
Print on DemandBy presenting state-of-the-art research results on various aspects of formal and visual modeling ...
Graph Transformation
Print on DemandThis book constitutes the refereed proceedings of the 12th International Conference on Graph Tran...
Recent Trends in Algebraic Development Techniques
Print on DemandThis book constitutes the thoroughly refereed postproceedings of the 17th International Workshop ...
Fundamental Approaches to Software Engineering
Besorgungstitel - wird vorgemerktThis book constitutes the refereed proceedings of the 14th International Conference on Fundamenta...
- 1