Dynamic logic (Record no. 64215)

MARC details
000 -LEADER
fixed length control field 00702nam a2200241#a 4500
001 - CONTROL NUMBER
control field 0000022285
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 211117s2020||||xx |||||||||||||| ||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788120331716
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.015113 HAR 2000
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Harel
245 #0 - TITLE STATEMENT
Title Dynamic logic
Statement of responsibility, etc. / David Harel, Dexter Kozen, Jerzy Tiuryn.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, Mass.
Name of publisher, distributor, etc. MIT Press
Date of publication, distribution, etc. 2000.
300 ## - PHYSICAL DESCRIPTION
Extent xv, 459p.
Other physical details ill.
Dimensions 23cm
365 ## - TRADE PRICE
Currency code MYR
490 ## - SERIES STATEMENT
Series statement Foundations of computing
500 ## - GENERAL NOTE
General note Includes bibliographical references and index p.449-459
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer logic
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Formal methods (Computer science)
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Kozen, Dexter
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Tiuryn, Jerzy
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book-GN
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH   01/17/2008 ENRI - K-ENRICHMENT 45.90   004.015113 HAR 2000 0000044451 11/25/2020 11/25/2020 Book-GN