International Refinement Workshop and Formal Methods Pacific 1998 ((1998)

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

International Refinement Workshop and Formal Methods Pacif by: Grundy, J. (1968-); International Refinement Workshop and Formal Methods Pacific 1998 ((1998); Schwenke, M. (1967-); Vickers, Trevor (1959-) (書目-語言資料,印刷品)

主題

005.273 Real-time programming