- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Lecture Notes in Computer Science, 1074, S. 163-184
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
1996
- Ereignis
-
Veröffentlichung
- (wer)
-
Springer
- (wann)
-
1996
- Urheber
- DOI
-
10.1007/3-540-61254-8_25
- URN
-
urn:nbn:de:bvb:384-opus4-235076
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10: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
- Möller, Bernhard
- Universität Augsburg
- Springer
Entstanden
- 1996
Ähnliche Objekte (12)
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
Knowledge and Games in Modal Semirings
Building structured theories
Towards an algebra of hybrid systems
Ideal stream algebra
Lazy Kleene Algebra
Deductive hardware design: a functional approach
The linear algebra of UTP
The Linear Algebra of UTP
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
Knowledge and Games in Modal Semirings
Building structured theories
Towards an algebra of hybrid systems
Ideal stream algebra
Lazy Kleene Algebra
Deductive hardware design: a functional approach
The linear algebra of UTP
The Linear Algebra of UTP
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
Knowledge and Games in Modal Semirings
Building structured theories
Towards an algebra of hybrid systems
Ideal stream algebra
Lazy Kleene Algebra
Deductive hardware design: a functional approach
The linear algebra of UTP