Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (3rd 1990 Madrid
Group Author: V鈇zquez Enrique 1960-; Quemada Juan 1953-; Ma鋘as Jose 1956-
Published: North-Holland,
Publisher Address: Amsterdam
Publication Dates: 1991.
Literature type: Book
Language: English
Subjects:
Electronic digital computers > Programming > Congresses
Formal languages > Congresses
Carrier Form: xvii, 584 p.: ill. ; 23 cm.
ISBN: 0444890246
Index Number: TP330
CLC: TP330.12-532
Contents: Includes bibliographical references.

Related Book Recommendations