R. D. Tennent
Born 1944-01-01
Identifiers
- Open LibraryOL887749A
Top Subjects
- Programming languages (Electronic computers) (3)
- Senses and sensation (1)
- Perception (1)
- Random noise theory (1)
- Programming languages (Electronic computers) -- Semantics (1)
- Semantics (1)
- Software Design (1)
Books by R. D. Tennent
Total count: 6
-
The effect of Gaussian criterion noise in signal detection theory.1968-01-01
-
Mathematical semantics and design of programming languages.1973-01-01
Principles of programming languagesPrentice/Hall International1981-01-01
Semantics of programming languagesPrentice Hall1991-01-01-
Correctness of data representations in Algol-like languagesLFCS, Dept. of Computer Science, University of Edinburgh1993-01-01
Specifying Software1st editionCambridge University Press2001-12-15