Cover Image

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 /

Bibliographic Details
Corporate Author: IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols Perros-Guirec, France
Other Authors: Diaz, Michel, 1945-, Groz, Roland
Format: Conference Proceeding Book
Language:English
Published: Amsterdam ; New York : North-Holland, 1993.
Series:IFIP transactions. Communication systems. C-10.
Subjects:
Electronic data processing > Distributed processing > Congresses.
Computer network protocols > Congresses.
Formal languages > Congresses.
Description
Physical Description:508 pages : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:0444892826
ISSN:0926-549X ;