NUST Institutions Library Catalogue Search for 'au:" Huth, Michael"'

Logic in computer science: modelling and reasoning about systems modelling and reasoning about systems

By Huth, Michael,. Cambridge [U.K.] ; | New York : Cambridge University Press, 2004 . xiv, 427 p. : 25 cm.. 052154310X

By Huth, Michael,. Cambridge ; | New York : Cambridge University Press, 2001 . x, 283 p. : 27 cm.. 052180731X

By Huth, Michael. New York Cambridge University Press 2004 . xiv, 427 p. , Includes bibliographical references (p. 414-417) and index. 9780521670890

By Huth, Michael,. Cambridge [U.K.] ; | New York : Cambridge University Press, 2004 . xiv, 427 p. : 25 cm.. 052154310X (pbk.)