Pages that link to "Item:Q1084082"
From MaRDI portal
Displaying 6 items.
- Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE) (Q1066658) (← links)
- TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and (Q1084083) (← links)
- TAPSOFT '91. Proceedings of the international joint conference on theory and practice of software development, Brighton, GB, April 8-12, 1991. Vol. 2: Advances in distributed computing (ADC) and Colloquium on combining paradigms for software development ( (Q1202093) (← links)
- Trees in algebra and programming - CAAP '94. 19th international colloquium, Edinburgh, GB, April 11--13, 1994. Proceedings (Q1320417) (← links)
- Trees in algebra and programming. 6 papers presented at the 22nd and last CAAP conference, Lille, France, April 14--18, 1997 (Q1572592) (← links)
- TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings (Q1892701) (← links)