Logo

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

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

Amazon cover image
Image from Amazon.com

Logic in Computer Science: Modelling and Reasoning about Systems

By: Contributor(s): Material type: TextTextPublication details: Cambridge Cambridge Univesity Press 2007Description: xiv, 427 p. ;24 cmISBN:
  • 9780521670890
DDC classification:
  • 005.1015 HUT
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Reference Books Reference Books LRC, IIT Indore 3rd Floor - Reference Collection Reference 005.1015 HUT (Browse shelf(Opens below)) Not For Loan 2841
Total holds: 0

Copyright © 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha