语系
Vickers, Trevor (1959-)
[NT 60487] Overview
| 作品: | 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-)
(書目-語言資料)