Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992

Author(s)

• FORTE
• Diaz, Michel
• Groz, Roland

Bibliographic Information

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992

edited by Michel Diaz, Roland Groz

（IFIP transactions, C . Communication systems ; 10）

North-Holland, 1993

Other Title

Formal description techniques, 5

Formal description techniques, five

Note

Includes bibliographical references and index

• NCID: BA19412299
• ISBN:
  • 0444892826
• LCCN: 92038314
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York
• Pages/Volumes: xvi, 508 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.9.D5
  • DC20 : 004/.36/015113
• Subject Headings:
  • LCSH : Electronic data processing -- Distributed processing -- Congresses
  • LCSH : Computer network protocols -- Congresses
  • LCSH : Formal languages -- Congresses
• Parent Bibliography ID:
  • BA13962399