Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols Sydney, N.S.W.
Otros Autores: Parker, K. R. (Ken R.), Rose, G. A. (Gordon A.)
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub., 1992.
Colección:IFIP transactions. Communication systems ; C-2.
Temas:
Computer programming > Congresses.
Formal languages > Congresses.
Programmation (Informatique) > Congr�es.
Langages formels > Congr�es.
COMPUTERS > Programming Languages > General.
Computer programming.
Formal languages.
Fundamentele informatica.
Congress
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Descripción
Descripción Física:1 online resource (xv, 574 pages) : illustrations
Bibliografía:Includes bibliographical references and index.
ISBN:9781483293332
1483293335
ISSN:0926-549X ;

Ejemplares similares