ZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997. (Record no. 1454)

MARC details
000 -LEADER
fixed length control field 00533nam 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 9783540627173
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.131 BOW/Z
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Bowen, Jonathan P
245 ## - TITLE STATEMENT
Title ZUM 97, The Z formal specification notation, Tenth International Conference of Z Users, Proceedings, 1997.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Springer
Place of publication, distribution, etc. Berlin
Date of publication, distribution, etc. 1997
300 ## - PHYSICAL DESCRIPTION
Extent 433
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture Notes in Computer Science,1212
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element FORMAL METHODS
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Hinchey, Michael G
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Till, David
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 Price effective from Koha item type
        Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre   18/03/2013 3259.00   005.131 BOW/Z 1461 18/03/2013 18/03/2013 Archives