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

Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth and Mark Ryan

By: Contributor(s): Material type: TextTextPublication details: New Delhi Cambridge University Press 2016Description: xiv, 427p. : ill. ; 24cmISBN:
  • 9780521670890
Subject(s): DDC classification:
  • 23rd 005.1015113 HUT
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Reference Book VIT-AP General Stacks Reference 005.1015113 HUT (Browse shelf(Opens below)) Not For Loan (Restricted Access) CSE 012615

It includes Bibliography and Index Pages

There are no comments on this title.

to post a comment.

Visitor Number:

Powered by Koha