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: TextTextPublisher: 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
Item type Current library Collection Call number Status Date due Barcode Item holds
Book - Borrowing 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.