ヘルプ
ヘルプ
図書

Using Penelope to assess the correctness of NASA Ada software [microform] : a demonstration of formal methods as a counterpart to testing / Carl T. Eichenlaub, C. Douglas Harper, and Geoffrey Hird (NASA contractor report ; 4509)

図書を表すアイコン

Using Penelope to assess the correctness of NASA Ada software [microform] : a demonstration of formal methods as a counterpart to testing / Carl T. Eichenlaub, C. Douglas Harper, and Geoffrey Hird

(NASA contractor report ; 4509)

国立国会図書館請求記号
YCA-NAS 1.26:4509
国立国会図書館書誌ID
000006595116
資料種別
図書
著者
Eichenlaub, Carl Tほか
出版者
-
出版年
1993
資料形態
マイクロ
ページ数・大きさ等
microfiche ; 11 × 15 cm
NDC
-
すべて見る

資料に関する注記

一般注記：

Distributed to depository libraries in microficheShipping list no.: 93-1215-MPhysical description for original version: 1 v

書店で探す

書店で探す

書店で探す

書誌情報

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

マイクロ

資料種別
図書
タイトル
Using Penelope to assess the correctness of NASA Ada software [microform] : a demonstration of formal methods as a counterpart to testing / Carl T. Eichenlaub, C. Douglas Harper, and Geoffrey Hird
シリーズタイトル
NASA contractor report ; 4509
タイトル標目
NASA contractor report ; NASA CR-4509
著者標目
Eichenlaub, Carl T
Harper, C. Douglas
Hird, Geoffrey
United States. National Aeronautics and Space Administration. Scientific and Technical Information Program
出版年（W3CDTF）
1993
数量
microfiche
大きさ
11 × 15 cm
出版地（国名コード）
US
本文の言語コード
eng