International Refinement Workshop and Formal Methods Pacific 1998 : proceedings of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia
著者
書誌事項
International Refinement Workshop and Formal Methods Pacific 1998 : proceedings of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia
（Springer series in discrete mathematics and theoretical computer science）
Springer-Verlag, 1998
- softcover
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes references and index
