Scholten, Carel S.
Enlarge text Shrink text-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Sources of Information
- Dijkstra, E.W. Predicate calculus and program semantics, c1989:CIP t.p. (Carel S. Scholten) t.p. verso (Beekbergen, The Netherlands)