Systematic software development using VDM (Record no. 161597)

000 -LEADER
fixed length control field 00587nam a22002057a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220720091645.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220322b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780138807337
041 ## - LANGUAGE
Language of text/sound track English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
DDC Edition number 23
Classification number 005
Author Mark JON
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Jones, Cliff B.
245 ## - TITLE STATEMENT
Title Systematic software development using VDM
Statement of responsibility, etc. / Cliff B. Jones
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New york
Name of publisher, distributor, etc. Prentice hall International (UK) Ltd
Date of publication, distribution, etc. n.d.
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 333 p.
500 ## - GENERAL NOTE
General note Includes bibliography and index.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
9 (RLIN) 3820
Topical term or geographic name entry element Computer software - Development
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Books in Stacks (S)
Holdings
Withdrawn status Lost status Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Source of acquisition Price Full call number Accession Number Date last seen item type
        Engineering Library Engineering Library General Section 2022-03-22 Individual Donor 250.00 005 JON 283555 2022-03-22 Books in Stacks (S)
© University of Jaffna