文献
J-GLOBAL ID：201002025751028445 整理番号：78A0152071
プログラムの時間の論理
The temporal logic of programs.
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=78A0152071©=1") }}
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=78A0152071&from=J-GLOBAL&jstjournalNo=D0710A") }}
著者 (1件)：
PNUELI A
PNUELI A について
名寄せID(JGPN) 201550000218250141 ですべてを検索
「PNUELI A」ですべてを検索
資料名：
Annu Symp Found Comput Sci (IEEE Conference Record of Annual Symposium on Switching and Automata Theory)
Annu Symp Found Comput Sci について
JST資料番号 D0710A ですべてを検索
ISSN,ISBN,CODENですべてを検索
資料情報を見る
巻：
18th
ページ：
46-57
発行年：
1977年
JST資料番号：
D0710A
ISSN：
0272-5428
資料種別：
会議録 (C)
記事区分：
原著論文
発行国：
アメリカ合衆国 (USA)
言語：
英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
逐次的プログラムと並列的プログラムへの応用を考えたプログラム...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラム理論
プログラム理論 について
「プログラム理論」ですべてを検索
この用語の用語情報を見る
,...
続きはJDreamIII（有料）にて
{{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=78A0152071&from=J-GLOBAL&jstjournalNo=D0710A") }}
タイトルに関連する用語 (1件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
論理
論理 について
「論理」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM
