Back to search
Technische Universiteit Eindhoven
The development of a Hoare-style proof system for systolic computations
Degree
thesis:*- Name dc:type.qualificationname
- Master
- Level dc:type.qualificationlevel
- Studentthesis types
- Year dc:date.issued
- 1993
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- van Gompel, B.P.H.C.
- Advisors dc:contributor.advisor
-
- Rem, Martin
- Mak, Rudolf
Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- oai:pure.tue.nl:studenttheses/6e7a8e07-db34-41b8-8e25-aa9b5273d84e
- OAI identifier oai:identifier
- oai:pure.tue.nl:studenttheses/6e7a8e07-db34-41b8-8e25-aa9b5273d84e