Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Amazon cover image
Image from Amazon.com

Logic in computer science : modelling and reasoning about systems

By: Contributor(s): Material type: TextTextPublication details: Cambridge Cambridge University Press 2000Description: xvii, 387pISBN:
  • 0521652006
Subject(s): DDC classification:
  • 004.0151 H971l
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur General Stacks 004.0151 H971l (Browse shelf(Opens below)) Available A131134
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha