R. D. Tennent
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
8
Semantics of programming languages
Mathematical semantics and design of programming languages
Principles of programming languages
The effect of Gaussian criterion noise in signal detection theory
Specifying software
Correctness of data representations in Algol-like languages
Functor-category semantics of programming languages and logics
