Your search returned 4 results.

Results
	1.		Model-based software testing and analysis with C# / Jonathan Jacky by Jacky,Jonathan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge University Press, 2008 Availability: Items available for reference: Reference Collection: Not for loan (1)Call number: 005.133 JAC.
	2.		The way of Z : practical programming with formal methods / Jonathan Jacky. by Jacky, Jonathan Material type: Text Publication details: Cambridge ; New York, NY, USA : Cambridge University Press, c1997 Availability: Items available for loan: Software Engineering (1)Call number: 005.12 JAC. Place hold
	3.		Model-based software testing and analysis with C# / Jonathan Jacky by Jacky,Jonathan Publication details: Cambridge University Press, 2008 Availability: No items available.
	4.		The way of Z : practical programming with formal methods / Jonathan Jacky. by Jacky, Jonathan Publication details: Cambridge ; New York, NY, USA : Cambridge University Press, c1997 Availability: No items available.

Refine your search