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

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)
Amazon cover image
Image from Amazon.com
Image from Coce

Logic in Computer Science: Modelling and Reasoning about Systems

By: Contributor(s): Material type: TextTextPublication details: Cambridge Cambridge University Press 2004Description: xiv, 427 p. ; 24 cmISBN:
  • 9780521670890
Subject(s): DDC classification:
  • 005.1015113 HUT
Item type: Book
Holdings
Item type Home library Call number Status Barcode
Book Book LRC, IIT Indore 3rd Floor - General Stack 005.1015113 HUT (Browse shelf(Opens below)) Available 10852
Total holds: 0
Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.
Managed & maintained by Learning Resource Center, IIT Indore