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

By: Material type: TextTextLanguage: English Publication details: Cambridge 2004Edition: 2nd edDDC classification:
  • 006.3 T04 HUT.R
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Nalanda Library Circulation Books 006.3 T04 HUT.R (Browse shelf(Opens below)) Available 6442
Total holds: 0

There are no comments on this title.

to post a comment.