Konferenzschrift | Kongress
Recent trends in data type specification : selected papers
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540578673
3540578676
9780387578675
0387578676
- Maße
-
24 cm
- Umfang
-
VIII, 350 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 785
- Schlagwort
-
Abstrakter Datentyp
Spezifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (wer)
-
Springer
- (wann)
-
1994
- 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:37 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.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Ehrig, Hartmut
- Workshop on Specification of Abstract Data Types (9 : 1992 : Caldas de Malavella)
- Springer
Entstanden
- 1994
Ähnliche Objekte (12)
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraic specification of modules and configuration families
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
Specification of modular systems
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
Specification and semantics : 08.07. - 12.07.96
Algebraic theory of modular specification development
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraic specification of modules and configuration families
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
Specification of modular systems
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
Specification and semantics : 08.07. - 12.07.96
Algebraic theory of modular specification development
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Algebraic specification of modules and configuration families
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
Specification of modular systems
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
Specification and semantics : 08.07. - 12.07.96
Algebraic theory of modular specification development
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
From algebraic module specifications to component concepts and integrated modeling techniques