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

Guardado en:
書目詳細資料
Autores Corporativos: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
其他作者: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
格式: Procedimiento de la Conferencia
語言:English
出版: London : Imperial Collge Press 1996
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!