- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Mainz, Johannes Gutenberg-Universität Mainz, Dissertation, 2021
- Schlagwort
-
Translators
- Ereignis
-
Veröffentlichung
- (wo)
-
Mainz
- (wer)
-
Universitätsbibliothek der Johannes Gutenberg-Universität Mainz
- (wann)
-
2021
- Urheber
- DOI
-
10.25358/openscience-6384
- URN
-
urn:nbn:de:hebis:77-openscience-9be985c8-d919-4b03-ab83-d549658968a68
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 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
- Keidel, Sven
- Universitätsbibliothek der Johannes Gutenberg-Universität Mainz
Entstanden
- 2021
Ähnliche Objekte (12)
Specification and compositional verification of real time systems
Modular language specification and composition
Specification of modular systems
Modular specification of process algebras
Compositional and Effectful Recursive Specification Formats : Distributive Laws and the Semantics of Recursion
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
An environment for compositional specification verification of complex embedded systems
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification of abstract data types
Abstract specification of object interaction
Specification and compositional verification of real time systems
Modular language specification and composition
Specification of modular systems
Modular specification of process algebras
Compositional and Effectful Recursive Specification Formats : Distributive Laws and the Semantics of Recursion
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
An environment for compositional specification verification of complex embedded systems
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification of abstract data types
Abstract specification of object interaction
Specification and compositional verification of real time systems
Modular language specification and composition
Specification of modular systems
Modular specification of process algebras
Compositional and Effectful Recursive Specification Formats : Distributive Laws and the Semantics of Recursion
Compositional and effectful recursive specification formats : distributive laws and the semantics of recursion
An environment for compositional specification verification of complex embedded systems
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification of abstract data types