Specification case studies / (Record no. 1147)

MARC details
000 -LEADER
fixed length control field 01182nam a22001937a 4500
003 - CONTROL NUMBER IDENTIFIER
control field LSCPL
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20190924183319.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130730t1984 -usill.g |||| 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0138265798 (pbk)
040 ## - CATALOGING SOURCE
Transcribing agency NCL
Modifying agency NLN2019
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.12
Item number SPE- 1984 1604
245 ## - TITLE STATEMENT
Title Specification case studies /
Statement of responsibility, etc. edit by Ian Hayes
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. New Jersey :
Name of publisher, distributor, etc. Prentice Hall International,
Date of publication, distribution, etc. 1984c.
300 ## - PHYSICAL DESCRIPTION
Extent 332 p. ;
Dimensions 25 cm.
500 ## - GENERAL NOTE
General note Index included
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note 1- Preface<br/>2- Foreword<br/>3- Mathematical Notation<br/>4- Schema Notation<br/>5- Examples of Specification Using Mathematics<br/>6- Blocked-Structed Symbol Table<br/>7- Telephone Network<br/>8- Specification of the UNIX Filing System<br/>9- CAVIAR : A Case Study<br/>10- Towards a Formal Specification of ICL Data Dictionary<br/>11- Flexitime Specification<br/>12- Formal Specification & Design of a Simple Assembler<br/>13- The Role of Mathematical Specifications<br/>14- Authentication of User Names<br/>15- Time Service<br/>16- Reservation Service<br/>17- Applying Formal Specification to Software Development in Industry<br/>18- CICS Temporary Storage<br/>19- CICS Message System
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programs
General subdivision Specifications.
9 (RLIN) 2165
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   005.12 SPE- 1984 1604 1604 07/30/2013 07/30/2013 Books