- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Workshop on Formal Techniques for Hardware and Hardware-like Systems: Proceedings, 26 S. S.
- Event
-
Veröffentlichung
- (where)
-
Augsburg, Marstrand
- (who)
-
Universität Augsburg, Chalmers Univ. of Technology
- (when)
-
1998
- Creator
- URN
-
urn:nbn:de:bvb:384-opus4-262287
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 PM CET
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
- Universität Augsburg, Chalmers Univ. of Technology
Time of origin
- 1998
Other Objects (12)
An Algebraic Approach to Systolic Circuits
Deductive Hardware Design: A Functional Approach
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
The Linear Algebra of UTP
Ideal Stream Algebra
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Algebraic neighbourhood logic
Algebraic Separation Logic
Deductive hardware design: a functional approach
An Algebraic Approach to Systolic Circuits
Deductive Hardware Design: A Functional Approach
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
The Linear Algebra of UTP
Ideal Stream Algebra
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Algebraic neighbourhood logic
Algebraic Separation Logic
Deductive hardware design: a functional approach
An Algebraic Approach to Systolic Circuits
Deductive Hardware Design: A Functional Approach
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
The Linear Algebra of UTP
Ideal Stream Algebra
Knowledge and Games in Modal Semirings
Lazy Kleene Algebra
Algebraic neighbourhood logic
Algebraic Separation Logic