Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

Guardado en:
Detalles Bibliográficos
Autores Corporativos: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Otros Autores: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Formato: Procedimiento de la Conferencia
Lenguaje:English
Publicado: London : Imperial Collge Press 1996
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Descripción
Descripción Física:viii, 330 p. : ill. ; 23 cm.
ISBN:1860940315