Ergebnisse zu
Compilerbau

Reference Manual. Proposed Standard Document United States Department of Defense

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

The Emergence of Hybrid Dataflow Computer Architectures

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Festschrift in Honor of Satoru Takasu

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

Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings

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

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings