Pages that link to "Item:Q1084083"

The following pages link to 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):

Displaying 8 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)
• Mathematical methods of specification and synthesis of software systems '85. Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 (Q1075043) (← links)
• TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27. 1987. Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebr (Q1084082) (← 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)
• Mathematical foundations of programming language semantics. 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8--10, 1987. Proceedings (Q1210757) (← links)
• Theoretical aspects of computer software. 2nd international Symposium TACS '94, Sendai, Japan, April 19--22, 1994. Proceedings (Q1320425) (← links)
• Selected papers of TAPSOFT '95: Theory and practice of software development. Aarhus, Denmark, May 1995 (Q1369236) (← links)
• TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings (Q1892701) (← links)