The Unified computation laboratory : modelling, specifications, and tools
著者
書誌事項
The Unified computation laboratory : modelling, specifications, and tools
(The Institute of Mathematics and its Applications conference series, new series no. 35)
Clarendon Press , Oxford University Press, 1992
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Based on the proceedings of a conference on the Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990
Includes references