Your search returned 2 results.

Results
	1.	Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. by Dijkstra, Edsger Wybe Scholten, Carel S Series: Texts and monographs in computer science Publication details: New York : Springer-Verlag, 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q9.35.D55. Place hold
	2.	Structured programming / O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare. by Dahl, O. J. (Ole Johan), 1931- Dijkstra, Edsger Wybe Hoare, Charles Antony Richard Series: A.P.I.C. studies in data processing ; no.8. Publication details: London : Academic Press, 1972 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (2)Call number: QA76.6.D33 3, ... PERPUSTAKAAN TUN SERI LANANG (10)Call number: QA76.6.D33, ... Place hold

Refine your search