Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop
著者
書誌事項
Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop
Imperial College Press , Distributed by World Scientific, c1995
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
At head of title: Imperial College, Department of Computing
Includes bibliographical references and index