Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

Author(s)

• FORTE
• Parker, K. R. (Ken R.)
• Rose, G. A. (Gordon A.)

Bibliographic Information

Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

edited by K.R. Parker, G.A. Rose

（IFIP transactions, C . Communications systems ; 2）

North-Holland, 1992

Note

Includes bibliographical references

Details

• NCID: BA13964022
• ISBN:
  • 0444894020
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; Tokyo
• Pages/Volumes: xv, 574 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.6
  • DC20 : 005.1
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Formal languages -- Congresses
• Parent Bibliography ID:
  • BA13962399