عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0444894020
(Number (ISBN
9780444894021
NATIONAL BIBLIOGRAPHY NUMBER
Number
b556053
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
General Material Designation
[Book]
First Statement of Responsibility
ed. by K.R. Parker ...
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Amsterdam North-Holland
Date of Publication, Distribution, etc.
1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
XV, 574 Seiten Diagramme
SERIES
Series Title
Formal description techniques, 4; IFIP transactions; C, Communication systems; Formal description techniques, 4; IFIP transactions / C., IFIP transactions, International Federation for Information Processing, 1992 ;, 2
TOPICAL NAME USED AS SUBJECT
Electronic digital computers -- Programming -- Congresses
ESTELLE.
LOTOS (Programmiersprache)
PERSONAL NAME - PRIMARY RESPONSIBILITY
ed. by K.R. Parker ...
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
International Federation for Information Processing. Working Group on International Packet Switching for Computer Sharing
Ken R Parker
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
