| 000 -LEADER |
| fixed length control field |
00925cam a2200253 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
| control field |
20171212141849.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
| fixed length control field |
020524s1993 xxka | |001 ||eng|c |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
0471934550 |
| 035 ## - SYSTEM CONTROL NUMBER |
| System control number |
xx002390620 |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
| Level of rules in bibliographic description |
201609201124 |
| Level of effort used to assign nonsubject heading access points |
kopilwa |
| Level of effort used to assign subject headings |
201310280129 |
| Level of effort used to assign classification |
VLOAD |
| Level of effort used to assign subject headings |
201310250149 |
| Level of effort used to assign classification |
VLOAD |
| -- |
201203021439 |
| -- |
VLOAD |
| 040 ## - CATALOGING SOURCE |
| Original cataloging agency |
NUKAT |
| Transcribing agency |
GD U/AJ |
| 245 00 - TITLE STATEMENT |
| Title |
Using formal description techniques : |
| Remainder of title |
an introduction to ESTELLE, LOTOS and SDL / |
| Statement of responsibility, etc |
ed. by Kenneth J. Turner. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
| Place of publication, distribution, etc |
Chichester : |
| Name of publisher, distributor, etc |
John Wiley & Sons, |
| Date of publication, distribution, etc |
cop. 1993. |
| 300 ## - PHYSICAL DESCRIPTION |
| Extent |
XXVIII, 431 s. : |
| Other physical details |
rys. ; |
| Dimensions |
24 cm. |
| 490 1# - SERIES STATEMENT |
| Series statement |
Wiley Series in Communication and Distributed Systems |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
| Bibliography, etc |
Bibliogr. s. 409-414. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
| Bibliography, etc |
Indeksy. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Komputery |
| General subdivision |
programowanie. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Języki formalne. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
| Personal name |
Turner, Kenneth J. |
| Relator term |
Red. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
| Uniform title |
Wiley Series in Communication and Distributed Systems |
| 920 ## - |
| -- |
0-471-93455-0 |
| 960 ## - PHYSICAL LOCATION (RLIN) |
| Physical location, PLOC (RLIN) |
GD_U |
| 961 ## - |
| -- |
WA_310 |