Welcome to LNMIIT Central Library
Online Public Access Catalogue

Image from Google Jackets

Logic in computer science modelling and reasoning about systems Michael Huth

By: Contributor(s): Material type: TextTextLanguage: English Publication details: Cambridge Cambridge University Press 2004Edition: 2nd edDescription: xiv, 427pISBN:
  • 9780521670890
Subject(s): DDC classification:
  • 006.333 H9712l2
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Text Book Text Book Central Library Computer Science 006.333 H97l2 (Browse shelf(Opens below)) Available 1859
Text Book Text Book Central Library Computer Science 006.333 H97l2 (Browse shelf(Opens below)) Available 1860
Text Book Text Book Central Library Computer Science 006.333 H97l2 (Browse shelf(Opens below)) Available 1935
Text Book Text Book Central Library Computer Science 006.333 H9712l2 (Browse shelf(Opens below)) Available 6603
Total holds: 0

There are no comments on this title.

to post a comment.

Designed & Maintained by: Central Library, LNMIIT, Jaipur