Specification case studies / (Record no. 1147)
[ view plain ]
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 |
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 |