Normal view MARC view ISBD view

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