UOJ Online

Your cart is empty.

Search

Login: Password:

Cancel

Your search returned 2 results.

Not what you expected? Check for suggestions

Unhighlight Highlight

|

	1.	No cover image available Formal methods for interactive systems / [by] Alan John Dix by DIX, Alan John. Publisher: London Academic Press 1991Availability: Items available for loan: Main Library [Call number: 004 DIX] (1). Place hold Add to your cart (remove)
	2.	Systematic software development using VDM / Cliff B. Jones by Jones, Cliff B. Edition: 2nd ed.Publisher: New york Prentice hall International (UK) Ltd n.dAvailability: Items available for loan: Engineering Library [Call number: 005 JON] (1). Place hold Add to your cart (remove)