Вы здесь

Главная

TUM

Связанные издания:

Ablaufspezifikation durch Datenflussmodellierung und stromverarbeitende Funktionen
A Functional Rephrasing of the Assumption/Commitment Specification Style
A Polymorphic Sort System for Axiomatic Specification Languages
AVL Trees Revisited: A Case Study in SPECTRUM
Benutzermanual fur den CIP-System-Prototyp
Deriving Efficient Parallel Programs by Systemating Coarsing Specification Parallelism
Development of a Distributed Min/Max Component
Die funktionale Essenz von HDMS-A
Functional Modeling of Clocked Hardware Circuits
Informatics at the Technische Universitat Munchen
Kryptologie - Methoden und Maximen
Pascal-Variante Obersicht uber Sprache, Obersetzer und Formularmaschine
Petri Nets and Algebraic Specifications
Specification and Refinement of a Buffer of Length One
Spezifikation des UNIX Datei- und Variablensystems. Eine SPECTRUM-Fallstudie
Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
Technische Universitat Munchen
Technische Universitat Munchen. Fakultat fur Informatik
The Design of Distributed Systems - An Introduction to FOCUS
The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part II
Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
Zur Ubersetzung von E/R-Schemata nach Spectrum