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

By:

Contributor(s):

Material type: Text

TextPublication details: Cambridge, [England] ; New York : Cambridge University Press, 2000.Description: xviii, 387 pages. : illustrations. ; 25 cmISBN:

Subject(s):

LOC classification:

Online resources:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Loan	Margaret Thatcher Library Second Floor	QA 76.9 .L63H88 (Browse shelf(Opens below))	Available	10030374
Loan	Margaret Thatcher Library Second Floor	QA 76.9 .L63H88 2000 (Browse shelf(Opens below))	Available	23009956

Includes bibliographical references and index

There are no comments on this title.

to post a comment.