Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Logic in Computer Science: Modelling and Reasoning about Systems

By:

Huth, Michael

Contributor(s):

Ryan, Mark

Material type: Text

Text

TextPublication details: New York Cambridge University Press 2005Edition: 2nd edDescription: 427pISBN:

9780521670890

Subject(s):

Computer Engineering

DDC classification:

005.1 HUT

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

Average rating: 0.0 (0 votes)

Holdings ( 3 )
Comments ( 0 )

Holdings
Item type	Current library	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Book	NIMA Knowledge Centre	9th Floor Reading Zone	General	005.1 HUT (Browse shelf(Opens below))	Available		T0026268
Book	NIMA Knowledge Centre	9th Floor Reading Zone	General	005.1 HUT (Browse shelf(Opens below))	Available		T0026266
Book	NIMA Knowledge Centre	9th Floor Reading Zone	General	005.1 HUT (Browse shelf(Opens below))	Available		T0026267

Total holds: 0

There are no comments on this title.

to post a comment.

© 2025 by NIMA Knowledge Centre, Ahmedabad.
Koha version 24.05