WebOPAC Local書誌詳細

ログイン

書誌詳細

名古屋大学附属図書館

	Testing semantics and proof techniques for extended communicating process models Shoji Yuen. -- [s.n.], [1997]. <YB03241752> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

Testing semantics and proof techniques for extended communicating process models Shoji Yuen. -- [s.n.], [1997]. <YB03241752> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

配置場所をクリックして利用方法をご確認ください。

No.	巻号	受付日	所蔵館	配置場所	請求記号	資料ID	状態	返却期限日	予約件数
0001			中央館	中央博論	乙\|\|5174\|\|工学	41203837	貸出不可		0件


No.	0001
巻号
受付日
所蔵館	中央館
配置場所	中央博論
請求記号	乙\|\|5174\|\|工学
資料ID	41203837
状態	貸出不可
返却期限日
予約件数	0件

このページのTOPへ

書誌詳細

タイトル / 著者等	Testing semantics and proof techniques for extended communicating process models / Shoji Yuen
出版・頒布事項	[S.l.] : [s.n.] , [1997]
形態	156 p. : ill. ; 30 cm
その他のタイトル	翻訳タイトル:通信プロセスモデルの拡張とテスト意味論に基づく証明技法に関する研究ツウシンプロセスモデルノカクチョウトテストイミロンニモトズクショウメイギホウニカンスルケンキュウ
注記	Thesis (Ph.D.)--Nagoya University. Graduate School of Engineering, 1997
注記	Kind of academic degree: 博士(工学)
注記	Date degree granted: 1997-03-12
注記	Report number: 乙第5174号
NCID	BB14848545
本文言語	英語
著者名リンク	結縁, 祥治\|\|ユエン, ショウジ <AU00499392>

このページのTOPへ

このページのTOPへ