Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / edited by Eerke A. Boiten, John Derrick, Graeme Smith. by Boiten, Eerke A Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Mathematics of Program Construction 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8-10, 2002 Proceedings / edited by Eerke A. Boiten, Bernhard Möller. by Boiten, Eerke A Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG