Your search returned 2 results.

Results
	1.	Essays in computing science C. A. R. Hoare ; C. B. Jones (editor) by Hoare, C. A. R. (Charles Antony Richard) Jones, C. B. (Cliff B.), 1944- Publication details: New York Prentice-Hall 1989 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.H56 3 [00006002369]. Place hold
	2.	No cover image available Formal specification and software development / D. Bjorner and C. Jones. by Bjorner, D. (Dines), 1937- Jones, C. B. (Cliff B.), 1944- Publication details: Englewood Cliffs, N. J. : Prentice-Hall International, 1982 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.6.B575 3. PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.B575. Place hold

Refine your search