- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
67 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturverz. S. 64 - 67
- Bibliographic citation
-
SFB-Bericht / A / Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen ; Nr. 90,28, Reihe A
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
SFB 342
- (when)
-
1990
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:10 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Glabbeek, Rob van
- Vaandrager, Frits
- SFB 342
Time of origin
- 1990
Other Objects (12)
Modular Lie algebras
Specification of modular systems
Algebraic theory of modular specification development
Geometrical methods in congruence modular algebras
Geometrical methods in congruence modular algebras
Underspecification for process algebras
Modular language specification and composition
Tomita's theory of modular Hilbert algebras and its applications
Reflective modular forms and vertex operator algebras
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Modular Specification and Compositional Soundness of Abstract Interpreters
Modular specification and verification of object oriented programs
Modular Lie algebras
Specification of modular systems
Algebraic theory of modular specification development
Geometrical methods in congruence modular algebras
Geometrical methods in congruence modular algebras
Underspecification for process algebras
Modular language specification and composition
Tomita's theory of modular Hilbert algebras and its applications
Reflective modular forms and vertex operator algebras
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Modular Specification and Compositional Soundness of Abstract Interpreters
Modular specification and verification of object oriented programs
Modular Lie algebras
Specification of modular systems
Algebraic theory of modular specification development
Geometrical methods in congruence modular algebras
Geometrical methods in congruence modular algebras
Underspecification for process algebras
Modular language specification and composition
Tomita's theory of modular Hilbert algebras and its applications
Reflective modular forms and vertex operator algebras
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Modular Specification and Compositional Soundness of Abstract Interpreters