R

R. D. Tennent

1944

8 books found

Books by R. D. Tennent
Specifying softwareR. D. Tennent
⏱ 4h 10m

Specifying software

R. D. Tennent

2001250 pp.
ALGOL-like languagesR. D. Tennent
⏱ 7h 37m

ALGOL-like languages

R. D. Tennent

1996457 pp.
Principles of programming languagesR. D. Tennent
⏱ 4h 31m

Principles of programming languages

R. D. Tennent

1981271 pp.
The effect of Gaussian criterion noise in signal detection theoryR. D. Tennent
⏱ 56m

The effect of Gaussian criterion noise in signal detection theory

R. D. Tennent

196856 pp.
Mathematical semantics and design of programming languagesR. D. Tennent

Mathematical semantics and design of programming languages

R. D. Tennent

1973No page data
Functor-category semantics of programming languages and logicsR. D. Tennent
⏱ 23m

Functor-category semantics of programming languages and logics

R. D. Tennent

198623 pp.
Correctness of data representations in Algol-like languagesR. D. Tennent
⏱ 13m

Correctness of data representations in Algol-like languages

R. D. Tennent

199313 pp.
Semantics of programming languagesR. D. Tennent
⏱ 3h 56m

Semantics of programming languages

R. D. Tennent

1991236 pp.