Konferenzschrift | Kongress
Categorical methods in computer science : with aspects from topology
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540517221
3540517227
9780387517223
0387517227
- Maße
-
25 cm
- Umfang
-
VI, 350 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 393
- Schlagwort
-
Informatik
Kategorientheorie
Elektronische Datenverarbeitung
Topologie
Datenverarbeitung
Topologie
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong
- (wer)
-
Springer
- (wann)
-
1989
- 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, 14:25 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
- Springer
Entstanden
- 1989
Ähnliche Objekte (12)
Universal theory of automata : a categorical approach; with numerous figures and examples
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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
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
Fundamentals of algebraic graph transformation
Universal theory of automata : a categorical approach; with numerous figures and examples
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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
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
Fundamentals of algebraic graph transformation
Universal theory of automata : a categorical approach; with numerous figures and examples
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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
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