Your search returned 3 results.

Results
	1.	AI and Cognitive Science'89 : Dublin City University 14-15 September 1989 / edited by Alans F. Smearton and Gabriel McDermott by McDermott, Gabriel Smeaton, Alan F Series: Workshop in computing Publication details: London : British Computer Society, 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q334.A44. Place hold
	2.	No cover image available Computer journal Publication details: London : British Computer Society, 1958- Online resources: Click here to access online Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (31)Call number: Siri QA76.C57 1970, ... Place hold
	3.	Formal methods for trustworthy computer system (FM 89) : report from FM 89- ... 23-27 July 1989, Halifax, Canada / Dan Craigen (editor) and Karen Summerskill (assistant editor) by Workshop on the Assesment of Formal Methods for Trustworthy Computer Systems (1989 : Halifax, N. S.) Summerskill, Karen, 1958- Craigen, Dan, 1953- Series: Workshops in computing Publication details: London : British Computer Society, 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.76.V47W67 1990. Place hold

Refine your search