Formal specification using Z / (Record no. 14664)

MARC details
000 -LEADER
fixed length control field 01168 am a2200289 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20221124143254.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 910625s1991 enka r 001 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780333544082 pbk
Qualifying information paperback
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780333544082 pbk
Terms of availability £13.99
Qualifying information paperback
040 ## - CATALOGING SOURCE
Modifying agency OCoLC
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Lightfoot, David,
Dates associated with a name 1951-
245 10 - TITLE STATEMENT
Title Formal specification using Z /
Statement of responsibility, etc. David Lightfoot
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Basingstoke :
Name of publisher, distributor, etc. Macmillan,
Date of publication, distribution, etc. 1991
300 ## - PHYSICAL DESCRIPTION
Extent xi,164p :
Other physical details ill ;
Dimensions 24cm
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes index.
520 8# - SUMMARY, ETC.
Summary, etc. Aims to help non-mathematicians learn about formal specification using the Z language. The book contains explanations of the mathematics of Z, interleaved with the development of an example specification. Chapters covering mathematics end with a summary and a set of exercises.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming languages (Electronic computers)
9 (RLIN) 11636
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming & scripting languages: general
Source of heading or term thema
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical theory of computation
Source of heading or term thema
902 ## - LOCAL DATA ELEMENT B, LDB (RLIN)
a 170103
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b10216145
b m
c -
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Suppress in OPAC 0
969 00 - LOCAL CODES
a 26235
979 00 - LOCAL CODES
a AW
b 23 AUG 1993
989 00 - LOCAL CODES
a AW
b 29 OCT 1993
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Operator's initials, OID (RLIN) 2
Cataloger's initials, CIN (RLIN) 001215
First Date, FD (RLIN) m
Local a
-- -
-- 0
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Total Renewals Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
Not Withdrawn Not Lost Dewey Decimal Classification Not Damaged Available for Loan ATU Dublin Road ATU Dublin Road General Shelves 15/12/2000 7 1 005.133 Z / LIG 037906 05/04/2017 0.00 05/04/2017 General