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

By:

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Cambridge Cambridge University Press 2011Edition: 2ndDescription: xiv, 427pISBN:

Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Copy number	Status	Barcode
Books	PK Kelkar Library, IIT Kanpur	General Stacks	004.0151 H975l2 cop.1 (Browse shelf(Opens below))		Copy 1	Available	A175239
Books	PK Kelkar Library, IIT Kanpur	TEXT	004.0151 H975l2 cop.2 (Browse shelf(Opens below))		Copy 2	Available	A175240
Text Books	PK Kelkar Library, IIT Kanpur	TEXT	004.0151 H975l2 cop.3 (Browse shelf(Opens below))	Link to resource	Copy 3	Available	A175241
Text Books	PK Kelkar Library, IIT Kanpur	TEXT	004.0151 H975l2 cop.4 (Browse shelf(Opens below))	Link to resource	Copy 4	Available	A175242
Text Books	PK Kelkar Library, IIT Kanpur	TEXT	004.0151 H975l2 cop.5 (Browse shelf(Opens below))	Link to resource	Copy 5	Available	A175243
Text Books	PK Kelkar Library, IIT Kanpur	TEXT	004.0151 H975l2 cop.6 (Browse shelf(Opens below))	Link to resource	Copy 6	Available	A175244

Total holds: 0

Previous								Next
Previous	004 Si64e Elements of computation theory	004.0151 H975l2 cop.2 Logic in computer science modelling and reasoning about systems [2nd ed.]	004.0151 H975l2 cop.3 Logic in computer science modelling and reasoning about systems [2nd ed.]	004.0151 H975l2 cop.4 Logic in computer science modelling and reasoning about systems [2nd ed.]	004.0151 H975l2 cop.5 Logic in computer science modelling and reasoning about systems [2nd ed.]	004.0151 H975l2 cop.6 Logic in computer science modelling and reasoning about systems [2nd ed.]	004.015192 M859r cop.1 Randomized algorithms	Next

There are no comments on this title.

to post a comment.

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