NUST Institutions Library Catalogue catalog › Results of search for 'an:67537'

Your search returned 2 results.

Not what you expected? Check for suggestions

		Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies. by Woodcock, Jim \| Davies, Jim, 1964-. Publisher: London ; New York : Prentice Hall, 1996Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.12,WOO (2). Place hold Find in NUST Repository
		Z an introduction to formal methods by Dillev, Antoni. Edition: 2NDMaterial type: Text; Format: print ; Literary form: Not fiction Publisher: NEWYORK JOHN WILEY 1994Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 005.12 DIL'Z (1). Place hold Find in NUST Repository