An introduction to formal specification and Z / (Record no. 173612)

000 -LEADER
fixed length control field 00916nam a2200253 4500
001 - CONTROL NUMBER
control field vtls001226460
003 - CONTROL NUMBER IDENTIFIER
control field MY-SjTCS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200226120938.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 110218 1996 enk 00 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0132422077
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201906031717
Level of effort used to assign nonsubject heading access points dianafitri
Level of effort used to assign subject headings 201102181251
Level of effort used to assign classification VLOAD
-- 200407271849
-- VLOAD
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.12
Item number POT
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Potter, Ben.
9 (RLIN) 6732
245 13 - TITLE STATEMENT
Title An introduction to formal specification and Z /
Statement of responsibility, etc. Ben Potter, Jane Sinclair and David Till
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. England ; New York :
Name of publisher, distributor, etc. Prentice Hall,
Date of publication, distribution, etc. 1996
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 434 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Prentice-Hall international series in computer science
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Development.
9 (RLIN) 8025
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Z (Computer program language)
9 (RLIN) 6733
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Sinclair, Jane.
Relator term (j.a.)
9 (RLIN) 6734
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Till, David.
Relator term (j.a.)
9 (RLIN) 5491
920 ## - Programme
Programme BDP:COMP : 560079, 560078, 56077,560080
999 ## - SYSTEM CONTROL NUMBERS (KOHA)
Koha biblionumber 173612
Koha biblioitemnumber 173612
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Total Checkouts Barcode Date last seen Date last checked out Copy number Koha item type Public note
          Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 Taylor's Library-TU TU External Storage-LCS 2004-07-27   1000101694 2019-12-12 2010-04-20 1 Main Collection SOCIT, SOCIT, 560080
          Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 Taylor's Library-TU TU External Storage-LCS 2004-07-27   1000101693 2019-12-12 2010-04-20 1 Main Collection SOCIT, SOCIT, 560079
          Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 Taylor's Library-TU TU External Storage-LCS 2004-07-27   1000101692 2019-12-12 2010-04-20 1 Main Collection SOCIT, SOCIT, 560078
          Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 Taylor's Library-TU TU External Storage-LCS 2004-07-27   1000101691 2019-12-12 2010-04-20 1 Main Collection SOCIT, SOCIT, 560077