NCID | DA00322801 |
名称(HDNG) | Bakker, Jacobus Willem de, 1939- |
生没年(DATE) | 1939- |
から見よ(SF) | Bakker, Jaco de, 1939- De Bakker, J. W. Bakker, J. W. de |
注記(NOTE) | Author's Formal definition of programming languages, 1967 His Mathematical theory of program correctness, c1980: t.p. (Jaco de Bakker) b. 1939 |
LCAID | 80025863 |