Logic in computer science modelling and reasoning about systems (Record no. 1236)

MARC details
000 -LEADER
fixed length control field 00445nam a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130318s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 521670896
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 003.3 HUT/L
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Huth, Michael
245 ## - TITLE STATEMENT
Title Logic in computer science modelling and reasoning about systems
250 ## - EDITION STATEMENT
Edition statement 2
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Cambridge University Press
Place of publication, distribution, etc. UK
Date of publication, distribution, etc. 2004
300 ## - PHYSICAL DESCRIPTION
Extent 427
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element COMPUTER MODELLING
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element LOGIC
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, Mark
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Systems Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Computer Science 18/04/2023 336.00   003.3 HUT/L 1243 18/03/2013 18/03/2013 Books