- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Mainz, Johannes Gutenberg-Universität Mainz, Dissertation, 2021
- Keyword
-
Translators
- Event
-
Veröffentlichung
- (where)
-
Mainz
- (who)
-
Universitätsbibliothek der Johannes Gutenberg-Universität Mainz
- (when)
-
2021
- Creator
- DOI
-
10.25358/openscience-6384
- URN
-
urn:nbn:de:hebis:77-openscience-9be985c8-d919-4b03-ab83-d549658968a68
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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
- Keidel, Sven
- Universitätsbibliothek der Johannes Gutenberg-Universität Mainz
Time of origin
- 2021
Other Objects (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