Logic in computer science : (Record no. 5560)

MARC details
LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 99015233
ISBN
International Standard Book Number 0521652006
ISBN
International Standard Book Number 0521656028 (pbk.)
DEWEY DECIMAL CLASSIFICATION NUMBER
Call number 003.3
MAIN ENTRY--PERSONAL AUTHOR
Authors Huth, Michael,
Dates 1962-
TITLE STATEMENT
Title Logic in computer science :
Subtitle modelling and reasoning about systems /
Statement of responsibility, etc. Michael Huth, Mark Ryan.
PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Cambridge, [England] ;
-- New York :
Publisher Cambridge University Press,
Date 2000.
PHYSICAL DESCRIPTION
Extent xviii, 387 p. :
Other Details ill ;
Size 25 cm.
BIBLIOGRAPHY, ETC. NOTE
Note Includes bibliographical references (p. 375-377).
STUDY PROGRAM
Program name CSCI325
SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Heading Computer logic.
ADDED ENTRY
Personal name Ryan, Mark,
Dates 1962-
ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://uowd.box.com/s/p95kqo6z1xe76ufxb0j0kza5dho3mqfi">https://uowd.box.com/s/p95kqo6z1xe76ufxb0j0kza5dho3mqfi</a>
Public note Location Map
MAIN ENTRY--PERSONAL AUTHOR
-- 36465
SUBJECT ADDED ENTRY--TOPICAL TERM
-- 36466
ADDED ENTRY
-- 36467
Holdings
Date last seen Full call number Barcode Cost, replacement price Price effective from Koha item type Lost status Source of classification or shelving scheme Damaged status Not for loan Withdrawn status Permanent location Current location Shelving location Date acquired Source of acquisition
26/01/2017 003.3 HU LO T0020646 25.95 26/01/2017 REGULAR   Dewey Decimal Classification       University of Wollongong in Dubai University of Wollongong in Dubai Main Collection 15/12/2003 AMAUK