- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: München : Utz, 1996
- Keyword
-
Algebraische Spezifikation
Attributierte Grammatik
- Event
-
Veröffentlichung
- (where)
-
Augsburg, München
- (who)
-
Universität Augsburg, Utz
- (when)
-
2018
- Creator
- URN
-
urn:nbn:de:bvb:384-opus4-445924
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 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.
Object type
- Hochschulschrift
Associated
- Bauer, Bernhard
- Universität Augsburg, Utz
Time of origin
- 2018
Other Objects (12)
Attributed algebraic specifications
Attributed algebraic specifications
Optimierung der Bestrahlungsplanung bei der interstitiellen Strahlentherapie von Hirntumoren
Studien zum ersten altdeutschen Pferdearzneibuch des anonymen Kopenhagener Ms. [Manuskripts] Thott Nr. [Nummer] 202
Wert und Bewertung in der Wirtschaftsgesellschaft : (ein Beitrag aus der Sicht der Thermodynamik)
Generating user interfaces from formal specifications of the application
Beiträge zur Geschichte der Reichsstadt Memmingen : vom Beginne des Dreißigjährigen Krieges bis zur Besetzung der Stadt durch die Schweden
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Bridging the gap between structural and behavioral models in a software-centric environment
UML class diagrams revisited in the context of agent-based systems
AOSE and organic computing - how can they benefit from each other?
Attributed algebraic specifications
Attributed algebraic specifications
Optimierung der Bestrahlungsplanung bei der interstitiellen Strahlentherapie von Hirntumoren
Studien zum ersten altdeutschen Pferdearzneibuch des anonymen Kopenhagener Ms. [Manuskripts] Thott Nr. [Nummer] 202
Wert und Bewertung in der Wirtschaftsgesellschaft : (ein Beitrag aus der Sicht der Thermodynamik)
Generating user interfaces from formal specifications of the application
Beiträge zur Geschichte der Reichsstadt Memmingen : vom Beginne des Dreißigjährigen Krieges bis zur Besetzung der Stadt durch die Schweden
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Bridging the gap between structural and behavioral models in a software-centric environment
UML class diagrams revisited in the context of agent-based systems
AOSE and organic computing - how can they benefit from each other?
Attributed algebraic specifications
Attributed algebraic specifications
Optimierung der Bestrahlungsplanung bei der interstitiellen Strahlentherapie von Hirntumoren
Studien zum ersten altdeutschen Pferdearzneibuch des anonymen Kopenhagener Ms. [Manuskripts] Thott Nr. [Nummer] 202
Wert und Bewertung in der Wirtschaftsgesellschaft : (ein Beitrag aus der Sicht der Thermodynamik)
Generating user interfaces from formal specifications of the application
Beiträge zur Geschichte der Reichsstadt Memmingen : vom Beginne des Dreißigjährigen Krieges bis zur Besetzung der Stadt durch die Schweden
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
Bridging the gap between structural and behavioral models in a software-centric environment
UML class diagrams revisited in the context of agent-based systems