The University of Dodoma Library Catalog

System design from provably correct constructs : (Record no. 4310)

000 -LEADER
fixed length control field 00860cam a2200253 a 4500
001 - CONTROL NUMBER
control field 4259803
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150608095952.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 840725s1985 njua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 84016063
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 013881483X :
Terms of availability $37.50
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.S88
Item number M37 1985
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.64/25
Edition number 19
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Martin, James,
Dates associated with a name 1933-2013.
9 (RLIN) 2972
245 10 - TITLE STATEMENT
Title System design from provably correct constructs :
Remainder of title the beginnings of true software engineering /
Statement of responsibility, etc James Martin.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Englewood Cliffs, N.J. :
Name of publisher, distributor, etc Prentice-Hall,
Date of publication, distribution, etc c1985.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 392 p. :
Other physical details ill. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographies and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element System design.
9 (RLIN) 124
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering.
9 (RLIN) 340
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent location Current location Shelving location Date acquired Full call number Barcode Date last seen Price effective from Koha item type
          Library Collection of Informatics and Virtual Education Library Collection of Informatics and Virtual Education General Collection 2015-06-08 QA76.9.S88 M37 1985 2618 2015-06-08 2015-06-08 Books
© The University of Dodoma 2020