LC control no. | n 50039540 |
---|---|
Descriptive conventions | rda |
Personal name heading | Loeckx, Jacques, 1931- |
Variant(s) | Loeckx, J. J. C. Loeckx, J. J. C. (Jacques J. C.), 1931- |
Birth date | 1931 |
Found in | His Enkele theoretische aspecten der programmatuur, 1970. His The foundations of program verification, c1984: CIP t.p. (Jacques Loeckx; Angewandte Mathematik und Informatik, U. Saarbrücken, Germany) Information from 678 converted Dec. 17, 2014 (Dr.; b. 1931) |