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

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

Normal view MARC view ISBD view

Logic in Computer Science: Modelling and Resoning about Systems

By:

Huth, Michael

Contributor(s):

Ryan Mark

Material type: Text

Text

TextPublication details: New York Cambridge Univesity Press 2005Edition: 2nd edDescription: xiv, 427p.; 24 cmISBN:

9780521670896

DDC classification:

005.1015113 HUT

Item type:

Book

Holdings ( 1 )

Holdings
Item type	Home library	Call number	Status	Barcode
Book	LRC, IIT Indore 3rd Floor - General Stack	005.1015113 HUT (Browse shelf(Opens below))	Available	2769

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	No cover image available	No cover image available				Next
Previous	005.1015113 HUT Logic in Computer Science: Modelling and Resoning about Systems	005.1015113 HUT Logic in Computer Science: Modelling and Resoning about Systems	005.1015113 HUT Logic in Computer Science: Modelling and Resoning about Systems	005.1015113 HUT Logic in Computer Science: Modelling and Resoning 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	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