- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Informatik und Mathematik [Professor Dr. Dr. h.c. mult. F. L. Bauer zum 65. Geburtstag], S. 419-440
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg, Berlin
- (wer)
-
Universität Augsburg, Springer
- (wann)
-
1991
- Urheber
- Beteiligte Personen und Organisationen
-
Broy, Manfred
- DOI
-
10.1007/978-3-642-76677-0_30
- URN
-
urn:nbn:de:bvb:384-opus4-170664
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
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
- Broy, Manfred
- Universität Augsburg, Springer
Entstanden
- 1991
Ähnliche Objekte (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
Knowledge and Games in Modal Semirings
An Algebraic Approach to Systolic Circuits
Ideal Stream Algebra
Lazy Kleene Algebra
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
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
Knowledge and Games in Modal Semirings
An Algebraic Approach to Systolic Circuits
Ideal Stream Algebra
Lazy Kleene Algebra
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach
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
Knowledge and Games in Modal Semirings
An Algebraic Approach to Systolic Circuits
Ideal Stream Algebra
Lazy Kleene Algebra
The Linear Algebra of UTP
Deductive Hardware Design: A Functional Approach