Logic in Computer Science: modelling and Reasoning about Systems (Record no. 11273)

MARC details
000 -LEADER
fixed length control field 00472nam a2200169Ia 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521670890
Terms of availability 0.00
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.115
Item number HUT/L
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Huth, Michael
245 ## - TITLE STATEMENT
Title Logic in Computer Science: modelling and Reasoning about Systems
Statement of responsibility, etc Mochael Huth
Medium [Text]
250 ## - EDITION STATEMENT
Edition statement 2nd
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge
Name of publisher, distributor, etc Cambridge University Press
Date of publication, distribution, etc 2005
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 427p.; 24Cm.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science
658 ## - INDEX TERM--CURRICULUM OBJECTIVE
Main curriculum objective CS
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, Mark
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type Public note Collection code Source of acquisition
        CENTRAL LIBRARY CENTRAL LIBRARY Text Book Section 07/31/2006 0.00   005.115 HUT/L 020040 11/26/2015 4 11/26/2015 TEXT BOOK 020040    
      Not For Loan CENTRAL LIBRARY CENTRAL LIBRARY Reserve Book Section 07/31/2006 0.00   005.115 HUT/L 020041 11/26/2015 5 11/26/2015 RESERVE BOOKS 020041    
        CENTRAL LIBRARY CENTRAL LIBRARY Text Book Section 07/31/2006 0.00   005.115 HUT/L 020037 11/26/2015 1 11/26/2015 TEXT BOOK 020037    
        CENTRAL LIBRARY CENTRAL LIBRARY Text Book Section 07/31/2006 0.00   005.115 HUT/L 020038 11/26/2015 2 11/26/2015 TEXT BOOK 020038    
        CENTRAL LIBRARY CENTRAL LIBRARY Text Book Section 07/31/2006 0.00   005.115 HUT/L 020039 11/26/2015 3 11/26/2015 TEXT BOOK 020039    
        COMPUTER SCIENCE LIBRARY COMPUTER SCIENCE LIBRARY COMPUTER SCIENCES & APPLICATION LIBRARY 01/01/2007 395.00   005.115 HUT/L 020042 11/26/2015 6 11/26/2015 TEXT BOOK 020042   Books International