Amazon cover image
Image from Amazon.com

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

By: Contributor(s): Publication details: Cambridge : Cambridge University Press, 2000.Description: xviii, 387p. : ill. (hbk) ; 26 cmISBN:
  • 0521652006
  • 0521656028
Subject(s): DDC classification:
  • 005.1'31 21
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Long loan Pilkington Library Pilkington Main Collection 005.131/HUT (Browse shelf(Opens below)) Available 0402749189
Long loan Pilkington Library Pilkington Main Collection 005.131/HUT (Browse shelf(Opens below)) Available 0402749197
Total holds: 0

Bibliography: p.375-377

Includes index

There are no comments on this title.

to post a comment.