Logic in computer science: modelling and reasoning about systems.

By:

Material type: Text

TextPublication details: New York Cambridge university press 2000Description: xvi;387pDDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
Books and Monographs	Central Library, NIT Jalandhar General Stacks	Central Library, NIT Jalandhar	511.3 H779L (Browse shelf(Opens below))		Available		75103