Formal specification and software development (Record no. 5060)

MARC details
000 -LEADER
fixed length control field 00579nam a22001817a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20151026130425.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100304t xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0133290034
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 004.414.38
Item number BJO
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Bjorner, Diner
9 (RLIN) 10822
245 ## - TITLE STATEMENT
Title Formal specification and software development
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. New Jersy
Name of publisher, distributor, etc. Prentice-hall international
Date of publication, distribution, etc. 1982
300 ## - PHYSICAL DESCRIPTION
Extent x,501p.
490 ## - SERIES STATEMENT
Series statement Printice-Hall International series in computer science
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Microprogramming
-- Computer science
-- Computer system
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Jones, Cliff B.
9 (RLIN) 10824
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Universal Decimal Classification     University Library University Library 03/04/2010   004.414.38 BJO 00033853 03/04/2010 03/04/2010 Books

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India