विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
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 reasoning about systems [2nd ed.]

By:

Huth, Michael

Contributor(s):

Ryan Mark

Material type: Text

Text

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

9780521670896

Subject(s):

Computer science

DDC classification:

005.1015113 HUT.2E

Item type:

Book

Holdings ( 5 )

Holdings
Item type	Home library	Call number	Status	Barcode
Book	LRC, IIT Indore 3rd Floor - General Stack	005.1015113 HUT.2E (Browse shelf(Opens below))	Available	2765
Book	LRC, IIT Indore 3rd Floor - General Stack	005.1015113 HUT.2E (Browse shelf(Opens below))	Available	2766
Book	LRC, IIT Indore 3rd Floor - General Stack	005.1015113 HUT.2E (Browse shelf(Opens below))	Available	2767
Book	LRC, IIT Indore 3rd Floor - General Stack	005.1015113 HUT.2E (Browse shelf(Opens below))	Available	2768
Book	LRC, IIT Indore 3rd Floor - General Stack	005.1015113 HUT.2E (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	No cover image available		Next
Previous	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.]	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.]	005.1015113 HUT.2E Logic in computer science : modelling and reasoning about systems [2nd ed.]	005.11 FEL Semantics engineering with PLT redex	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