Understanding Z : a specification language and its formal semantics (Record no. 38618)

000 -LEADER
fixed length control field 00591nam a2200193Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 250428s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0-521-33429-2
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.133 S761 1988
245 #0 - TITLE STATEMENT
Title Understanding Z : a specification language and its formal semantics
Statement of responsibility, etc. Spivey, J. M.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1988
300 ## - PHYSICAL DESCRIPTION
Extent viii, 131 p.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cambridge tracts in theoretical computer science
526 ## - STUDY PROGRAM INFORMATION NOTE
Classification 001 Generalities
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming languages (Electronic computers) -- Semantics.
942 ## - ADDED ENTRY ELEMENTS
Source of classification or shelving scheme
Item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Fund Source Property Number Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Item type
        Main-Circulation Sibalom Sibalom MCIR 2025-04-29 Main-General Income 11-09-227I-0220   005.133 S761 1988 UAMAIN 3966 2025-04-29 3595.00 2025-04-29 Book