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

Guardado en:
Bibliografiske detaljer
Autores Corporativos: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Andre forfattere: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Format: Procedimiento de la Conferencia
Sprog:English
Udgivet: London : Imperial Collge Press 1996
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!