Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

Author(s)

• FORTE
• Quemada, Juan
• Mañas, José
• Vázquez, Enrique

Bibliographic Information

Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

edited by Juan Quemada, Jose Mañas, Enrique Vázquez

North-Holland , Distributors for the US and Canada, Elsevier Science Pub. Co., 1991

Other Title

Formal description techniques, 3

Formal description techniques, three

Note

Includes bibliographical references

Details

• NCID: BA12511587
• ISBN:
  • 0444890246
• LCCN: 91011961
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; Tokyo,New York, N.Y.
• Pages/Volumes: xvii, 584 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.6
  • DC20 : 005.1
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Formal languages -- Congresses