Image from Google Jackets

Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan.

By: Contributor(s): Publication details: Delhi Cambridge University Press, 2016Edition: 2nd editionDescription: xiv, 427 pISBN:
  • 052154310X (pbk.)
Subject(s): DDC classification:
  • 004.0151 H971L 23
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8120
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8126
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8124
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8125
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8123
Books Books Central Library, IISER Bhopal Reference Section Reference 004.0151 H971L (Browse shelf(Opens below)) Not For Loan Reserve 8119
Books Books Central Library, IISER Bhopal Reference Section Reference 004.0151 H971L (Browse shelf(Opens below)) Not For Loan Reserve 8118
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Checked out to Nikhil Kumar (23205) 23/12/2024 8121
Books Books Central Library, IISER Bhopal Reference Section Reference 004.0151 H971L (Browse shelf(Opens below)) Not For Loan Reserve 8117
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8122
Browsing Central Library, IISER Bhopal shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)
004.0151 B145P Process algebra : 004.0151 G53F Formal methods for industrial critical systems : 004.0151 H971L Logic in computer science : 004.0151 H971L Logic in computer science : 004.0151 H971L Logic in computer science : 004.0151 K528A Automata theory and its applications 004.015113 H222D Dynamic logic

Includes bibliographical references (p. 414-417) and index.

There are no comments on this title.

to post a comment.



Contact for Queries: skpathak@iiserb.ac.in