Normal view MARC view ISBD view

Formal Object Oriented Specification Using Object-Z (Record no. 4533)

000 -LEADER
fixed length control field	00485nam a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	211229s9999\|\|\|\|xx \|\|\|\|\|\|\|\|\|\|\|\|\|\| \|\|und\|\|
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0-333-80123-7
040 ## - CATALOGING SOURCE
Transcribing agency	FCIT
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title	Eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	005.117
Item number	DUK
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Duke, Roger
245 #0 - TITLE STATEMENT
Title	Formal Object Oriented Specification Using Object-Z
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc	Great Britain
Name of publisher, distributor, etc	Macmillan
Date of publication, distribution, etc	2000
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Object-Oriented Programming (OOP)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Permanent Location	Current Location	Shelving location	Date acquired	Cost, normal purchase price	Full call number	Barcode	Date last seen	Price effective from	Koha item type
				FCITOC	FCITOC	General Stacks	2021-12-29	3082.00	005.117 DUK	2900	2023-08-18	2021-12-29

Library PU-FCIT