Image from Google Jackets

Logic in computer science : modelling and reasoning about systems / by M. Huth & M. Ryan.

By: Material type: TextTextLanguage: English Publication details: Cambridge : Cambridge University Press, 2011.Edition: 2nd edDescription: xiv, 427 p. 25 cmISBN:
  • 9780521670890 (pbk)
Subject(s): DDC classification:
  • 005.1015113 HUT/L
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 Home library Call number Status Date due Barcode Item holds
Text Book Text Book Central Library, IIT Bhubaneswar Central Library, IIT Bhubaneswar 005.1015113 HUT/L (Browse shelf(Opens below)) Available TB7508
Text Book Text Book Central Library, IIT Bhubaneswar Central Library, IIT Bhubaneswar 005.1015113 HUT/L (Browse shelf(Opens below)) Checked out 18/06/2024 TB7509
Text Book Text Book Central Library, IIT Bhubaneswar Central Library, IIT Bhubaneswar 005.1015113 HUT/L (Browse shelf(Opens below)) Available TB7510
Text Book Text Book Central Library, IIT Bhubaneswar Central Library, IIT Bhubaneswar 005.1015113 HUT/L (Browse shelf(Opens below)) Available TB7511
Text Book Text Book Central Library, IIT Bhubaneswar Central Library, IIT Bhubaneswar 005.1015113 HUT/L (Browse shelf(Opens below)) Available TB7512
Text Book Text Book Central Library, IIT Bhubaneswar Central Library, IIT Bhubaneswar 005.1015113 HUT/L (Browse shelf(Opens below)) Available TB7513
Text Book Text Book Central Library, IIT Bhubaneswar Central Library, IIT Bhubaneswar 005.1015113 HUT/L (Browse shelf(Opens below)) Available TB7514
Total holds: 0

There are no comments on this title.

to post a comment.

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha