Cover is for reference only

Formal description techniques, V：proceedings of the ... : FORTE '92, Perros-Guirec, France, 13-16 October 1992

Saved in:
Bibliographic Details
Corporate Authors: IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (5th 1992 Perros-Guirec
Group Author: Diaz Michel 1945-; Groz Roland
Published: North-Holland,
Publisher Address: Amsterdam
Publication Dates: 1993.
Literature type: Book
Language: English
Series: IFIP transactions.. C,, Communication systemsCommunication systems ; C-10
Subjects:
Formal languages > Congresses
Electronic data processing > Distributed processing > Congresses
Computer network protocols > Congresses
Carrier Form: xvi, 508 p.: ; 23 cm.
ISBN: 0444892826
Index Number: TP330
CLC: TP330.12
Call Number: TP330.12-532/I61/1992/
Contents: Includes bibliographical references and index.

Related Book Recommendations