The Way of Z: (Record no. 35)

MARC details
000 -LEADER
fixed length control field 00579nam a22001817a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20221125153342.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120908b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521559766
040 ## - CATALOGING SOURCE
Original cataloging agency DBITLRC
Language of cataloging English
Transcribing agency DBITLRC
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Edition number 22
Classification number 005.12
Item number JAC/WAY
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Jonathan, Jacky.,
9 (RLIN) 64
245 ## - TITLE STATEMENT
Title The Way of Z:
Remainder of title Practical Programming with Formal Methods
Statement of responsibility, etc. Jonathan, Jacky
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York:
Name of publisher, distributor, etc. Cmbridge University Press,
Date of publication, distribution, etc. c1997.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 350 p.:
Other physical details ill.;
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note This book is having bibliography328-339 from page
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Computer Science Don Bosco Institute of Technology Library Don Bosco Institute of Technology Library Reference 01/04/2002 Access Books   005.12 JAC/WAY 1779 18/07/2023 08/09/2012 Reference Books