文献
J-GLOBAL ID:201002020446852454 整理番号:79A0086813
構造の変化を行うプログラムの合成
The synthesis of structure-changing programs.
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=79A0086813©=1") }}
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=79A0086813&from=J-GLOBAL&jstjournalNo=K19780074") }}
著者 (2件):
MANNA Z
MANNA Z について
名寄せID(JGPN) 201550000230016103 ですべてを検索
「MANNA Z」ですべてを検索
,
WALDINGER R
WALDINGER R について
名寄せID(JGPN) 201550000183671629 ですべてを検索
「WALDINGER R」ですべてを検索
資料名:
Int Conf Software Eng (Proceedings. International Conference on Software Engineering 3rd 780510)
Int Conf Software Eng について
JST資料番号 K19780074 ですべてを検索
資料情報を見る
巻:
3rd
ページ:
175-186
発行年:
1978年
JST資料番号:
K19780074
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラムの合成を定理証明的な思想で行う手法について述べられ...
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ソフトウエア工学
ソフトウエア工学 について
「ソフトウエア工学」ですべてを検索
この用語の用語情報を見る
,...
続きはJDreamIII(有料)にて
{{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=79A0086813&from=J-GLOBAL&jstjournalNo=K19780074") }}
前のページに戻る
TOP
BOTTOM