- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
55 Bl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. Bl. 54 - 55
- Erschienen in
-
Bericht ; Nr. 83,03 : Inst. für Software u. Theoret. Informatik
- Schlagwort
-
ACT ONE
Spezifikation
Semantik
Algebraische Spezifikation
Semantik
Australian Capital Territory
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Techn. Univ., Fachbereich Informatik
- (wann)
-
1983
- Ereignis
-
Veröffentlichung
- (wo)
-
[Berlin]
- (wer)
-
[Univ.-Bibliothek d. TU, Abt. Publ.]
- (wann)
-
1983
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:49 MESZ
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
- Ehrig, Hartmut
- Fey, Werner
- Hansen, Horst
- Technische Universität Berlin. Fachbereich Informatik
- Techn. Univ., Fachbereich Informatik
- [Univ.-Bibliothek d. TU, Abt. Publ.]
Entstanden
- 1983
Ähnliche Objekte (12)
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Algebraic specification of modules and configuration families
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Specification and semantics : 08.07. - 12.07.96
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Algebraic theory of modular specification development
Fundamentals of algebraic graph transformation
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
From algebraic module specifications to component concepts and integrated modeling techniques
Algebraic specification schemes for data base systems
Specification of modular systems
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Algebraic specification of modules and configuration families
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Specification and semantics : 08.07. - 12.07.96
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Algebraic theory of modular specification development
Fundamentals of algebraic graph transformation
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
From algebraic module specifications to component concepts and integrated modeling techniques
Algebraic specification schemes for data base systems
Specification of modular systems
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Algebraic specification of modules and configuration families
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Specification and semantics : 08.07. - 12.07.96
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Algebraic theory of modular specification development
Fundamentals of algebraic graph transformation
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
From algebraic module specifications to component concepts and integrated modeling techniques
Algebraic specification schemes for data base systems