Goa University
Amazon cover image
Image from Amazon.com
Image from Google Jackets

Logic in computer science: modelling and reasoning about systems - 2nd ed.

By: Contributor(s): Publication details: Delhi: Cambridge University Press; 2016Description: xiv, 427 p. 23 cmISBN:
  • 9780521670890(pb)
Subject(s): DDC classification:
  • 005.101 HUT-RYA
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
Books Books Goa University Library General Stacks 005.101 HUT-RYA (Browse shelf(Opens below)) Available 167526

There are no comments on this title.

to post a comment.

Designed & Maintained by: Goa University (GU Library)
Contact: System Analyst :ans @unigoa.ac.in


Powered by Koha