Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextPublication details: Cambridge : Cambridge Univ. Press, 2004Edition: 2. edDescription: xiv, 427 s. : illISBN:
  • 0-521-54310-X
  • 978-0-521-54310-1 (pbk)
Subject(s): DDC classification:
  • 005.1015113 22
Holdings
Item type Current library Call number Status Barcode
Book Högskolan Väst Entréplan / Entrance floor 005.1 Huth Available 6005320011166
Total holds: 0