Formal description techniques :
proceedings of the IFIP TC/WG 6.1 ... International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE.

Description

Previous Title

Formal description techniques.

Meeting Name

IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols.

Related Names

International Federation for Information Processing.
IFIP Working Group 6.1.

Language(s)

English

Published

Amsterdam ; North-Holland ; 1990-1995.

Subjects

Computer network protocols > Computer network protocols / Congresses.
Formal languages > Formal languages / Congresses.
Electronic data processing > Electronic data processing / Distributed processing > Electronic data processing / Distributed processing / Congresses.
Computer programming > Computer programming / Congresses.

Note

Proceedings for 1994-1995 issued under earlier form of name.
Published: London; New York : Chapman Hall on behalf of the International Federation for Information Processing, 1994-1995.

Physical Description

7 v. : ill. ; 24 cm.

Locate a Print Version

Find in a library

Viewability