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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awduron Corfforaethol: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Awduron Eraill: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Fformat: Trafodyn Cynhadledd
Iaith:English
Cyhoeddwyd: London : Imperial Collge Press 1996
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!