The way of Z : practical programming with formal methods (Record no. 78422)

MARC details
000 -LEADER
fixed length control field 00972nam a2200217 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 060316s1996 ||||||||||||||||| || u
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521550416
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521559766
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA 76.73.Z2 Jac
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Jacky, Jonathan
245 14 - TITLE STATEMENT
Title The way of Z : practical programming with formal methods
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge :
Name of publisher, distributor, etc Cambridge University Press
Date of publication, distribution, etc 1996
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 350 p. : ill.
350 ## -
-- 0.00
500 ## - GENERAL NOTE
General note Includes bibliographical references 
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Z (COMPUTER PROGRAM LANGUAGE)
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element FORMAL METHODS (COMPUTER SCIENCE)
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/toc/cam022/96013537.html">http://www.loc.gov/catdir/toc/cam022/96013537.html</a>
995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE]
-- 0.00
-- CBU-MAIN LIBRARY (Kitwe)
-- 2
-- 0.00
-- 1
-- AVAILABLE
-- Main Library Open Access Collection
995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE]
-- 0.00
-- CBU-MAIN LIBRARY (Kitwe)
-- 1
-- 0.00
-- 2
-- AVAILABLE
-- Main Library Open Access Collection
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
          CBU-MAIN LIBRARY, KITWE. CBU-MAIN LIBRARY, KITWE.   05/16/2023   QA 76.73.Z2 Jac 021015 05/16/2023 1 05/16/2023 MONOGRAPH
          CBU-MAIN LIBRARY, KITWE. CBU-MAIN LIBRARY, KITWE.   05/16/2023   QA 76.73.Z2 Jac 021016 05/16/2023 2 05/16/2023 MONOGRAPH