Michael Mendler
3 published titles
Newtonian arbiters cannot be proven correct
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Formal design of a class of computers
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1995
- Details
Abstraction of hardware construction
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1995
- Details
