Amazon cover image
Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary

Logic in computer science : modelling and reasoning about systems

By: Material type: TextPublication details: Cambridge University Press, 2004.Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN:
  • 9780521543101
Subject(s): DDC classification:
  • 005.115 22 HUT 2004
LOC classification:
  • QA76.9.L63 H88 2004
Online resources:
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Book Bank MUST Main Library 005.115 HUT 2004 (Browse shelf(Opens below)) Available 2024-22356
Open Shelf MUST Main Library 005.115 HUT 2004 (Browse shelf(Opens below)) Available 2016-4149
Open Shelf MUST Main Library 005.115 HUT 2004 (Browse shelf(Opens below)) Available 2016-4150
Open Shelf MUST Main Library 005.115 HUT 2004 (Browse shelf(Opens below)) Available 2016-4151
Open Shelf MUST Main Library 005.115 HUT 2004 (Browse shelf(Opens below)) Available 2016-4152
Open Shelf MUST Main Library 005.115 HUT 2004 (Browse shelf(Opens below)) Available 2016-4153
Open Shelf MUST Main Library 005.115 HUT 2004 (Browse shelf(Opens below)) Available 2016-4155
Short Loan MUST Main Library 005.115 HUT 2004 (Browse shelf(Opens below)) Available 2015-2859

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

There are no comments on this title.

to post a comment.