A framework for the development and assurance of high integrity software /
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 図書 |
| 言語: | English |
| 出版事項: |
Gaithersburg, MD : Washington, D.C. :
Computer Systems Laboratory, National Institute of Standards and Technology ; For sale by the Supt. of Docs., U.S. G.P.O.,
1994.
|
| シリーズ: | NIST special publication ;
500-223. NIST special publication. Computer systems technology |
| 主題: |
CARM 1 Store
| 請求記号: |
A3:AE30C0 F06467 |
|---|---|
| 所蔵 1 | 利用可 予約する |