Your search returned 2 results.

Results
	1.	Image from Google Jackets	Formal methods for distributed processing : a survey of object-oriented approaches edited by Howard Bowman, John Derrick by Bowman, Howard Derrick, John Publication details: Cambridge Cambridge University Press 2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.117 BOW.
	2.	Image from Google Jackets	Refinement In Z And Object-z : foundations and advanced applications John Derrick, Eerke Boiten by Derrick John Language: English Publication details: London Springer, , ©2001 Availability: Items available for reference: Anna Centenary Library: Not for loan (1)Call number: 005.117 DER.

Refine your search