Using formal description techniques : (Record no. 1958)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01472nam a22002417a 4500 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OSt |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20191209115517.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 131212b1993 -uk|||gg |||| 001 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0471934550 (hbk) |
040 ## - CATALOGING SOURCE | |
Transcribing agency | NCL |
Modifying agency | LIN2019 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 004.6 |
Item number | TUR-U 1993 2968 |
245 10 - TITLE STATEMENT | |
Title | Using formal description techniques : |
Remainder of title | an introduction to Estelle, LOTOS, and SDL / |
Statement of responsibility, etc. | Edited by Kenneth J Turner |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | England : |
Name of publisher, distributor, etc. | John Wiley & Sons , |
Date of publication, distribution, etc. | 1993c. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | v, 431 p. : |
Other physical details | ill. ; |
Dimensions | 23 cm. |
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
Title | Wiley series in communication and distributed systems. |
500 ## - GENERAL NOTE | |
General note | index included |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | Chapter 1: Introducing the FDTs---------------------------------<br/>Chapter 2: Introduction to Estelle-------------------------------<br/>Chapter 3: Introduction to LOTOS-----------------------------<br/>Chapter 4: Introduction to SDL---------------------------------<br/>Chapter 5: Daemon Game--------------------------------<br/>Chapter 6: Unreliable Medium-----------------------------<br/>Chapter 7: Sliding Window Protocol--------------------------<br/>Chapter 8: Abracadabra Protocol-----------------------------<br/>Chapter 9: Development with ESTELLE---------------------------<br/>Chapter 10: Development with LOTOS-----------------------------<br/>Chapter 11: Development with SDL----------------------------- |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer programming. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Formal languages. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computers |
General subdivision | Networks |
Chronological subdivision | Protocols |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Turner, Kenneth J. |
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 | Source of acquisition | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Namal Library | Namal Library | Computer Science | 12/12/2013 | Old Book | 004.6 TUR-U 1993 2968 | 0002968 | 12/12/2013 | 12/12/2013 | Books |