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