NUST Institutions Library Catalogue catalog › Results of search for 'au:"Huth, Michael,"'

Your search returned 4 results.

Not what you expected? Check for suggestions

		Logic in computer science: modelling and reasoning about systems modelling and reasoning about systems Michael Huth, Mark Ryan. by Huth, Michael \| Ryan, Mark, 1962-. Edition: 2nd ed. Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Availability: Items available for loan: Central Library (CL)Call number: 005.1015113 HUT (1). Place hold Find in NUST Repository
		Secure communicating systems : design, analysis, and implementation Michael R.A. Huth. by Huth, Michael. Publisher: Cambridge ; New York : Cambridge University Press, c2001Availability: Items available for loan: Central Library (CL)Call number: 005.8 HUT (1). Place hold Find in NUST Repository
		Logic in computer science : modelling and reasoning about systems by Huth, Michael \| Mark Ryan. Edition: 2nd ed.Material type: Text Publisher: New York Cambridge University Press 2004Availability: Items available for loan: Central Library (CL)Call number: 005.1015113 HUT (1). Place hold Find in NUST Repository
		Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by Huth, Michael \| Ryan, Mark, 1962-. Edition: 2nd ed. Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Online access: Publisher description \| Sample text \| Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.1,HUT (1). Place hold Find in NUST Repository

		Logic in computer science: modelling and reasoning about systems modelling and reasoning about systems Michael Huth, Mark Ryan. by Huth, Michael \| Ryan, Mark, 1962-. Edition: 2nd ed. Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Availability: Items available for loan: Central Library (CL)Call number: 005.1015113 HUT (1). Place hold Find in NUST Repository
		Secure communicating systems : design, analysis, and implementation Michael R.A. Huth. by Huth, Michael. Publisher: Cambridge ; New York : Cambridge University Press, c2001Availability: Items available for loan: Central Library (CL)Call number: 005.8 HUT (1). Place hold Find in NUST Repository
		Logic in computer science : modelling and reasoning about systems by Huth, Michael \| Mark Ryan. Edition: 2nd ed.Material type: Text Publisher: New York Cambridge University Press 2004Availability: Items available for loan: Central Library (CL)Call number: 005.1015113 HUT (1). Place hold Find in NUST Repository
		Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by Huth, Michael \| Ryan, Mark, 1962-. Edition: 2nd ed. Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Online access: Publisher description \| Sample text \| Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.1,HUT (1). Place hold Find in NUST Repository