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

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

Amazon cover image

Image from Amazon.com

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, 427 p. ;24 cmISBN:

9780521670890

DDC classification:

005.1015 HUT

Average rating: 0.0 (0 votes)

Holdings ( 1 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	LRC, IIT Indore 3rd Floor - Reference Collection	Reference	005.1015 HUT (Browse shelf(Opens below))	Not For Loan		2841

Total holds: 0

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

Previous			No cover image available					Next
Previous	005.1 STO Agile software development : best practices for large software development projects	005.1 XIO New software engineering paradigm based on complexity science : an introduction to NSE	005.1 ZHU Integration-ready architecture and design : software engineering with XML, Java, .NET, wireless, speech, and knowledge technologies	005.1015 HUT Logic in Computer Science: Modelling and Reasoning about Systems	005.11 FRU Essentials of constraint programming	005.11 GIB Efficient parallel algorithms	005.11 WIL Logic and integer programming	Next

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
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

Powered by Koha