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

Đã lưu trong:
Chi tiết về thư mục
Nhiều tác giả của công ty: Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Tác giả khác: Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Định dạng: Hội nghị đang tiến hành
Ngôn ngữ:English
Được phát hành: London : Imperial Collge Press 1996
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!