NUST Institutions Library Catalogue catalog › Results of search for 'ccl=an:94917'

Your search returned 2 results.

Not what you expected? Check for suggestions

		Understanding formal methods / written and translated by Jean Fran�cois Monin ; translation editor, Michael G. Hinchey. by Monin, Jean Fran�cois \| Hinchey, Michael G, 1969-. Publisher: London ; New York : Springer, c2003Online access: Publisher description \| Table of contents only Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.133,MON (2). Place hold Find in NUST Repository
		Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni. Edition: 2nd ed. Publisher: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994Online access: Publisher description \| Table of Contents Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 005.12,DIL (1). :