- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
67 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Literaturverz. S. 64 - 67
- Erschienen in
-
SFB-Bericht / A / Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen ; Nr. 90,28, Reihe A
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
SFB 342
- (wann)
-
1990
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:10 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Glabbeek, Rob van
- Vaandrager, Frits
- SFB 342
Entstanden
- 1990
Ähnliche Objekte (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