文献
J-GLOBAL ID：200902040334558626   整理番号：90A0238937

反応モジュールの合成

On the synthesis of a reactive module.
著者 (2件)：
PNUELI A

PNUELI A について

(Weizmann Inst. Science, Rehovot, ISR)

Weizmann Inst. Science, Rehovot, ISR について

, 
ROSNER R

ROSNER R について

(Weizmann Inst. Science, Rehovot, ISR)

Weizmann Inst. Science, Rehovot, ISR について


資料名：
Conference Record of the Annual ACM Symposium on Principles of Programming Languages  (Conference Record of the Annual ACM Symposium on Principles of Programming Languages)

Conference Record of the Annual ACM Symposium on Principles of Programming Languages について


巻： 16th  ページ： 179-190  発行年： 1989年 
JST資料番号： D0069B  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
線型時制公式φ(x,y)で定義される反応モジュールの合成につ...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
自動プログラミング

自動プログラミング について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
計算の複雑さ

計算の複雑さ について


   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0238937&from=J-GLOBAL&jstjournalNo=D0069B") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (1件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
モジュール

モジュール について


前のページに戻る

TOP

BOTTOM