Normal view MARC view ISBD view

Formal specification using Z. (Record no. 14421)

MARC details
000 -LEADER
fixed length control field	00564nam a2200193Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	161214s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9780333763278
Terms of availability	(pbk)
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	005.133
Item number	LIG
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Lightfoot, David
245 #0 - TITLE STATEMENT
Title	Formal specification using Z.
250 ## - EDITION STATEMENT
Edition statement	2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc	Basingstoke:
Name of publisher, distributor, etc	Palgrave,
Date of publication, distribution, etc	2001
300 ## - PHYSICAL DESCRIPTION
Extent	xii,164p;
Other physical details	:
Dimensions	25 cm.
490 ## - SERIES STATEMENT
Series statement	Grassroots series
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Computer software -- Development

Topical term or geographic name as entry element	Formal methods (Computer science)

Topical term or geographic name as entry element	Z (Computer program language)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme	Dewey Decimal Classification
Item type	Books

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Home library	Current library	Date acquired	Source of acquisition	Cost, normal purchase price	Total Checkouts	Full call number	Barcode	Koha item type
		Dewey Decimal Classification			DAU	DAU	15/06/2011	Baroda Book Corporation	0.00		005.133 LIG	026034	Books