Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
著者
書誌事項
Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
（Workshops in computing）
Springer-Verlag, c1993
- : us : acid-free
- : gw : acid-free
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Papers based on proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, held at Chelwood Gate, Sussex, UK, 1993
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index