Formal description techniques, II proceedings of the ... FORTE '89, Vancouver, Canada, 5-8 December 1989

Saved in:
Bibliographic Details
Corporate Authors: IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1
Other Authors: Vuong, Son T
Format: Unknown
Published: Amsterdam North-Holland 1990
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xiii, 549 p. ill. 23 cm
Bibliography:Includes bibliographical references
ISBN:0444885447