The Way of Z Practical Programming with Formal Methods (Record no. 379233)

MARC details
000 -LEADER
fixed length control field 00637nam a2200193Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 021128s1997||||xx |||||||||||||| ||eng||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521559766
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
ISSN-L 0-521-55976-6
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.12
Item number JAC
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Jacky, Jonathan
Relator term author
9 (RLIN) 145075
245 #4 - TITLE STATEMENT
Title The Way of Z Practical Programming with Formal Methods
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. c1997
300 ## - PHYSICAL DESCRIPTION
Extent XVIII, 350 p.
Other physical details : ill
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes Bibliographical References and Index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Z Computer Program Language
9 (RLIN) 144481
856 ## - ELECTRONIC LOCATION AND ACCESS
Link text Table of Contents
Uniform Resource Identifier <a href="https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-521-55976-6.pdf">https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-521-55976-6.pdf</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
-- 51
-- Abul Kalam Library
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Stock Type Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Accession Date Koha item type
        Circulation Section Circulation Section Circulation Section 28/11/2002 Purchased 2030.00   005.12 JAC 67253 14/02/2024 28/11/2002 Lending Collection