Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextPublication details: Cambridge, [England] ; New York : Cambridge University Press, 2000.Description: xviii, 387 p. : ill ; 25 cmISBN:
  • 0521652006
  • 0521656028 (pbk.)
Subject(s): DDC classification:
  • 003.3
Online resources:
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
REGULAR University of Wollongong in Dubai Main Collection 003.3 HU LO (Browse shelf(Opens below)) Available T0020646

Includes bibliographical references (p. 375-377).

CSCI325

There are no comments on this title.

to post a comment.