Ergebnisse zu
Programmiersprachen / -werkzeuge / Frameworks

6th Colloquium, Toulouse, April 17-19, 1984. Proceedings

5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings

Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers

10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy,..

18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings

7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings