Your search returned 4 results.

Results
	1.		No cover image available Modelling distributed systems Wan Fokkink by Fokkink, Wan Publication details: Berlin Springer 2007 Availability: Items available for loan: Anna Centenary Library (1)Call number: 004.36 FOK.
	2.		Communication protocol specification and verification by Richard Lai, Ajin Jirachiefpattana by Lai, Richard Ajin Jirachiefpattana Publication details: Deventer, The Netherlands ; Boston, MA Kluwer Academic c1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 004.62 LAI.
	3.		Data refinement : model-oriented proof methods and their comparison Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.] by Roever, W. -P. de Buth, Karl-Heinz Engelhardt, Kai Publication details: Cambridge Cambridge University Press 1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 003.3 ROE.
	4.		Guidance for the verification and validation of neural networks Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah by Pullum, Laura L Darrah, Majorie A Taylor, Brian J Publication details: Hoboken, NJ IEEE Computer Society ; John Wiley & Sons Inc c2007 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.32 PUL.

Refine your search