عنوان
پدید آورنده
موضوع
رده
QA 76.6 .U848 1993
QA
76
.
6
.
U848
1993
کتابخانه
محل استقرار
CE
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(
Name of Publisher, Distributor, etc.
Wiley
Date of Publication, Distribution, etc.
1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxviii, 431 p. : ill
SERIES
Series Title
Wiley series in communication and distributed systems
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 409-416( and indexes
TOPICAL NAME USED AS SUBJECT
Entry Element
Electronic digital computers - Programming
Entry Element
Formal languages
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
6
Classification Record Number
.
U848
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
edited by Kenneth J. Turner
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
