資料
J-GLOBAL ID：200909053910716259   JST資料番号 (フル)：K19980031N   JST資料番号：K19980031

Formal Methods Pacific '97

JST資料番号：
JST資料番号
JSTが収集資料ごとに付与しているID番号です
K19980031
ISBN (1件)： 981-3083-31-X
資料内容種別：会議録, 冊子体, その他
刊行頻度： その他
発行国：シンガポール(SGP)
本文使用言語 (1件)： 英語(EN)
出版団体名： Springer
出版地：Singapore
会議 (3件)：
  • Formal Methods Pacific Conference, Wellington, 19970709 - 19970711
  • Australasian Refinement Workshop, 6th
  • New Zealand Formal Program Development Colloquium, 3rd
JST所蔵 (0件)： 所蔵状況は最新でない場合があります。また事情によりご利用いただけない場合があります。
　詳細はこちらからお問い合わせください。

前のページに戻る

TOP

BOTTOM