विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Amazon cover image

Image from Amazon.com

Image from Coce

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: Cambridge Cambridge Univesity Press 2007Description: xiv, 427p. ; 24cmISBN:

9780521670890

Subject(s):

Computer science

DDC classification:

005.1015113 HUT

Item type:

Book

Holdings ( 11 )

Holdings
Item type	Home library	Collection	Call number	Status	Barcode
Reference Books	LRC, IIT Indore 3rd Floor - Reference Collection	Reference	005.1015113 HUT (Browse shelf(Opens below))	Not For Loan	2841
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10506
Text/Reserve Book	LRC, IIT Indore 2nd Floor - Textbook Reserve	Non-fiction	005.1015113 HUT (Browse shelf(Opens below))	Not For Loan	10844
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10845
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10846
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10847
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10848
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10849
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10850
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10851
Book	LRC, IIT Indore 3rd Floor - General Stack		005.1015113 HUT (Browse shelf(Opens below))	Available	10852

Total holds: 0

Browsing LRC, IIT Indore shelves, Shelving location: 3rd Floor - General Stack Close shelf browser (Hides shelf browser)

Previous						No cover image available	No cover image available	Next
Previous	005.1015113 HUT Logic in computer science : modelling and reasoning about systems	005.1015113 HUT Logic in computer science : modelling and reasoning about systems	005.1015113 HUT Logic in computer science : modelling and reasoning about systems	005.1015113 HUT Logic in computer science : modelling and reasoning about systems	005.1015113 HUT Logic in computer science : modelling and reasoning about systems	005.1015113 HUT.2E Logic in computer science : modelling and reasoning about systems [2nd ed.]	005.1015113 HUT.2E Logic in computer science : modelling and reasoning about systems [2nd ed.]	Next

Place hold
Print
Cite
Send to device
Save record
BIBTEX RIS
More searches

Search for this title in:

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore