Selected papers of TAPSOFT '95: Theory and practice of software development. Aarhus, Denmark, May 1995

zbMATH Open0879.00069MaRDI QIDQ1369236

Author name not available (Why is that?)

Publication date: 4 January 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsSpecial issueAarhus (Denmark)Software developmentTAPSOFT '95

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Theory of software (68N99)

Related Items (3)

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 (CCPSD) ⋮ Title not available (Why is that?) ⋮ 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 Logic Programming and Specifications (CFLP)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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) 👍 👎
• 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 Logic Programming and Specifications (CFLP) 👍 👎
• 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 (CCPSD) 👍 👎
• TAPSOFT '93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13--17, 1993. Proceedings 👍 👎
• TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings 👍 👎
• A decade of TAPSOFT 👍 👎

This page was built for publication: Selected papers of TAPSOFT '95: Theory and practice of software development. Aarhus, Denmark, May 1995

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1369236)