Custom cover image
Custom cover image

Logic in Computer Science Modelling and Reasoning About Systems

By: Contributor(s): Material type: TextTextLanguage: English Publication details: Cambridge : Cambridge University Press, c2004Edition: 2ndDescription: XIV, 427 p. : illISBN:
  • 0521670896
Subject(s): DDC classification:
  • 005.05113 HUT
Online resources:
Holdings
Item type Current library Shelving location Call number Status Date due Barcode
Reference Collection Reference Collection Reference Section Reference Section 005.05113 HUT Available 74360