The specification of complex systems / (Record no. 1163)

MARC details
000 -LEADER
fixed length control field 01098nam a22002297a 4500
003 - CONTROL NUMBER IDENTIFIER
control field LSCPL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20190926121959.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130730t1986 enkill.g |||| 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 020114400x (hbk)
040 ## - CATALOGING SOURCE
Transcribing agency NCL
Modifying agency LIN2019
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 003
Item number COH-S 1986 1594
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Cohen, B.
9 (RLIN) 2187
245 ## - TITLE STATEMENT
Title The specification of complex systems /
Statement of responsibility, etc. by B. Cohen, W. T. Harwood and M. I. Jackson
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Wokingham, England ; Reading, Mass. :
Name of publisher, distributor, etc. Addison-Wesley,
Date of publication, distribution, etc. 1986c.
300 ## - PHYSICAL DESCRIPTION
Extent xii, 143 p. ;
Dimensions 25 cm.
500 ## - GENERAL NOTE
General note Index included
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Chapter 1: The Role of Specification int the Product Life-Cycle------<br/>Chapter 2: Models and Formal Systems------<br/>Chapter 3: The Case Study: An Electronic Office------<br/>Chapter 4: Algebraic Specification------<br/>Chapter 5: Model-Based Specification------<br/>Chapter 6: Specification of Concurrent systems------<br/>Chapter 7: Formal Methods in the Development Environment------<br/>Chapter 8: Future Directions------
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element System design.
9 (RLIN) 1195
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Harwood, W. T.
9 (RLIN) 2188
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jackson, M. I.
9 (RLIN) 2189
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
          Namal Library Namal Library Computer Science 07/30/2013   003 COH-S 1986 1594 1594 07/30/2013 07/30/2013 Books