IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.)

Identifiers

Open LibraryOL6129453A

Top Subjects

Computer programming -- Congresses (1)
Formal languages -- Congresses (1)

Books by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.)

Total count: 1

Formal description techniques, VIproceedings of the IFIP TC6/WG6.1 sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993

North Holland1994-01-01