時間論理に基づく通信規約記述言語に関する研究

• Material Type: 図書
• Title: 時間論理に基づく通信規約記述言語に関する研究
• Title Transcription: ジカン ロンリ ニ モトヅク ツウシン キヤク キジュツ ゲンゴ ニ カンスル ケンキュウ
• Author/Editor: 浅野, 正一郎, 学術情報センター
• Author Heading: 著者 ： 淺野, 正一郎, 1947- アサノ, ショウイチロウ, 1947- ( 00763999 )Authorities; 学術情報センター ガクジュツ ジョウホウ センター ( 00258388 )Authorities
• Publication Date: 1985-1987
• Publication Date (W3CDTF): 1985
• Extent: 冊
• Subject Heading: 通信規約 (プロトコル) ツウシンキヤク (プロトコル); 計算機言語 ケイサンキゲンゴ; コンパイラ コンパイラ; 時間論理 ジカンロンリ; 有限状態オートマトン ユウゲンジヨウタイオートマトン; プロトコルの適合性検証 プロトコルノテキゴウセイケンシヨウ; 検査系列 ケンサケイレツ
• NDLC: Y151
• Note (General): 文部省科学研究費補助金研究成果報告書; 2冊
• Research Project No. of Grants-in-Aid for Scientific Research: 60550243
• Holding library: 国立国会図書館
• Call No.: Y151-S60550243
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000007024874; http://id.ndl.go.jp/bib/000007024874
• Bibliographic Record Category (NDL): 214