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

Guardat en:
Dades bibliogràfiques
Autor corporatiu: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Altres autors: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Format: Actes de congresos
Idioma:English
Publicat: London : Imperial Collge Press 1996
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!