文献
J-GLOBAL ID:200902104184116938
整理番号:93A0853651
ForMooZ: A Hypertext-Based Environment to Support Object-Oriented Formal Development.
-
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=93A0853651©=1") }}
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0853651&from=J-GLOBAL&jstjournalNo=K19930503") }}
著者 (2件):
,
資料名:
ページ:
119-130
発行年:
1993年
JST資料番号:
K19930503
ISBN:
0-8186-3482-0
資料種別:
会議録 (C)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)
前のページに戻る