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

Saved in:
Bibliographic Details
Main Authors FORTE, Parker, K. R. (Ken R.), Rose, G. A. (Gordon A.)
Format Book
LanguageEnglish
Published Amsterdam ; Tokyo North-Holland 1992
Subjects
Electronic digital computers > Programming > Congresses
Formal languages > Congresses
Online AccessGet full text
ISBN0444894020
9780444894021

Cover

More Information
Bibliography:Includes bibliographical references
ISBN:0444894020
9780444894021