Normal view
MARC view
Bakker, J. W. de (Jacobus Willem), 1939- (Personal Name)
His Formal definition of programming languages, 1967.
His Mathematical theory of program correctness, c1980: t.p. (Jaco de Bakker)
b. 1939