Using formal description techniques : (Record no. 1958)

MARC details
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
Holdings
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