- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Informatik und Mathematik [Professor Dr. Dr. h.c. mult. F. L. Bauer zum 65. Geburtstag], S. 419-440
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
1991
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Springer
- (when)
-
1991
- Creator
- Contributor
-
Broy, Manfred
- DOI
-
10.1007/978-3-642-76677-0_30
- URN
-
urn:nbn:de:bvb:384-opus4-170664
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Möller, Bernhard
- Broy, Manfred
- Universität Augsburg
- Springer
Time of origin
- 1991
Other Objects (12)
Derivation of graph and pointer algorithms
Derivation of graph and pointer algorithms
Systematic derivation of pointer algorithms
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
Ideal Stream Algebra
An Algebraic Approach to Systolic Circuits
Lazy Kleene Algebra
Knowledge and Games in Modal Semirings
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Derivation of graph and pointer algorithms
Derivation of graph and pointer algorithms
Systematic derivation of pointer algorithms
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
Ideal Stream Algebra
An Algebraic Approach to Systolic Circuits
Lazy Kleene Algebra
Knowledge and Games in Modal Semirings
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
Derivation of graph and pointer algorithms
Derivation of graph and pointer algorithms
Systematic derivation of pointer algorithms
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
Ideal Stream Algebra
An Algebraic Approach to Systolic Circuits
Lazy Kleene Algebra
Knowledge and Games in Modal Semirings