Ergebnisse zu
Compilerbau

Basics and Advanced Strategies in Programming

11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

The Emergence of Hybrid Dataflow Computer Architectures

Design and Application Guide

Festschrift in Honor of Satoru Takasu

Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings

Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The..

Reference Manual. Proposed Standard Document United States Department of Defense

Control, Cooperation, and Combinatorics

Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in..

Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992