Ergebnisse zu
Compilerbau

First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

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

12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw,..

6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw,..

The Emergence of Hybrid Dataflow Computer Architectures

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

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

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

Design and Application Guide

Reference Manual. Proposed Standard Document United States Department of Defense

Control, Cooperation, and Combinatorics