Image from Google Jackets

Logic in computer science : modelling and reasoning about systems / Michael Huth, Department of Computing, Imperial College London, United Kingdom, Mark Ryan, School of Computer Science, University of Birmingham, United Kingdom.

By: Contributor(s): Material type: TextPublisher: Cambridge : Cambridge University Press, 2005Edition: Second edition, ReprintedDescription: xiv, 427 pages : illustrations ; 25 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 052154310X (pbk.)
  • 9780521543101
Subject(s): Genre/Form: DDC classification:
  • 005.1015113 HUT 22
Online resources:
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
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 - Borrowing Central Library Lower Floor Baccah 005.1015113 HUT (Browse shelf(Opens below)) Available 000050282
Total holds: 0

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.

Novelist Select

© BUE Library 2020