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

By: Huth, Michael, 1962-
Contributor(s): Ryan, Mark, 1962-
Material type: TextTextPublisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN: 052154310X (pbk.)Subject(s): Computer logic | Logic programmingDDC classification: 005.1/01/5113 LOC classification: QA76.9.L63 | H88 2004Online resources: Sample text | Table of contents | Publisher description
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)

Powered by Koha