- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
135 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Bericht ; Nr. 83,05 : Inst. für Software u. Theoret. Informatik
- Schlagwort
-
Datentyp
Syntax
Spezifikation
Algebra
Semantik
Datentyp
Syntax
Algebraische Spezifikation
Algebra
Semantik
- 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
- Technische Universität Berlin. Fachbereich Informatik
- Techn. Univ., Fachbereich Informatik
- [Univ.-Bibliothek d. TU, Abt. Publ.]
Entstanden
- 1983
Ähnliche Objekte (12)
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraische Implementierung abstrakter Datentypen
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Unifying Petri nets : advances in Petri nets
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Abstract and behaviour module specifications
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraische Implementierung abstrakter Datentypen
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Unifying Petri nets : advances in Petri nets
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Abstract and behaviour module specifications
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Algebraic specification of modules and configuration families
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraische Implementierung abstrakter Datentypen
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Unifying Petri nets : advances in Petri nets
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Abstract and behaviour module specifications
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Fundamentals of algebraic specification, 1.. Equations and initial semantics
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications