|
" 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 "
ed. by K.R. Parker ...
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
736209
|
| Doc. No
|
:
|
b556053
|
| Main Entry
|
:
|
ed. by K.R. Parker ...
|
| Title & Author
|
:
|
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\ ed. by K.R. Parker ...
|
| Publication Statement
|
:
|
Amsterdam North-Holland, 1992
|
| Series Statement
|
:
|
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
|
| Page. NO
|
:
|
XV, 574 Seiten Diagramme
|
| ISBN
|
:
|
0444894020
|
|
|
:
|
: 9780444894021
|
| Subject
|
:
|
Electronic digital computers -- Programming -- Congresses
|
| Subject
|
:
|
ESTELLE.
|
| Subject
|
:
|
LOTOS (Programmiersprache)
|
| Added Entry
|
:
|
International Federation for Information Processing. Working Group on International Packet Switching for Computer Sharing
|
|
|
:
|
Ken R Parker
|
| |