عنوان
پدید آورنده
موضوع
رده
QA 76.6 .U848 1993
QA
76
.
6
.
U848
1993
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Using formal description techniques: an introduction to Estelle, LOTOS, and SDL
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Chichester ]England[; New York
Name of Publisher, Distributor, etc.
Wiley
Date of Publication, Distribution, etc.
c1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxviii, 431 p.: ill.; 24 cm
SERIES
Other Title Information
Wiley series in communication and distributed systems
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 409-416( and indexes.
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by Kenneth J. Turner
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer programming
Entry Element
، Formal languages
DEWEY DECIMAL CLASSIFICATION
Number
004
.
6
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
.
U848
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Turner, Kenneth J.
SE
