AN INTRODUCTION TO FORMAL SPECIFICATION WITH Z AND VDM (Record no. 160195)

000 -LEADER
fixed length control field 00399nam a2200145Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220919s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780077079079
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Item number SHE
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name SHEPPARD, DERI
245 #3 - TITLE STATEMENT
Title AN INTRODUCTION TO FORMAL SPECIFICATION WITH Z AND VDM
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. McGRAW HILL COMPNIES INC., NEW YORK
Date of publication, distribution, etc. 1995
300 ## - PHYSICAL DESCRIPTION
Extent 398
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Science & Eng.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Cost, normal purchase price Total Checkouts Barcode Date last seen Price effective from Koha item type Public note
        Mewar University Central Library Mewar University Central Library Engineering 29/01/2021 2823.00   21207 19/09/2022 29/01/2021 Book Computer Science and Engineering R-35 S-2