Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System; A Case Study Using Automated Reasoning, Volume 2; Appendixes (EPRI ; EPRI-NP-4924-Vol.2)

Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System; A Case Study Using Automated Reasoning, Volume 2; Appendixes

(EPRI ; EPRI-NP-4924-Vol.2)

資料種別: 図書

著者: Chishoim, G.H./Kljaich, J.

出版者: Electric Power Research Institute(Electric Power Research Institute)

出版年: 1987.

資料形態: 紙

ページ数・大きさ等: -

NDC: -

すべて見る

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

日本原子力研究開発機構所蔵目録データベース
紙
日本原子力研究開発機構所蔵目録データベースのサイトでこの本を確認

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
タイトル: Approach to the Verification of a Fault-Tolerant, Computer-Based Reactor Safety System; A Case Study Using Automated Reasoning, Volume 2; Appendixes
著者・編者: Chishoim, G.H./Kljaich, J.
シリーズタイトル: EPRI ; EPRI-NP-4924-Vol.2
著者標目: Chishoim, G.H.
Kljaich, J.
出版事項: Electric Power Research Institute(Electric Power Research Institute)
出版年月日等: 1987.
出版年（W3CDTF）: 1987
出版地（国名コード）: us
本文の言語コード: eng
対象利用者: 一般
連携機関・データベース: 日本原子力研究開発機構 : 日本原子力研究開発機構所蔵目録データベース
https://library-documents.jaea.go.jp/opac/opac_search/