図書

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)

Icons representing 図書

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)

Call No. (NDL)
YCA-NAS 1.26:4509
Bibliographic ID of National Diet Library
000006595116
Material type
図書
Author
Eichenlaub, Carl Tほか
Publisher
-
Publication date
1993
Material Format
Microform
Capacity, size, etc.
microfiche ; 11 × 15 cm
NDC
-
View All

Notes on use

Note (General)：

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

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Microform

Material Type
図書
Title
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
Series Title
NASA contractor report ; 4509
Title Heading
NASA contractor report ; NASA CR-4509
Author Heading
Eichenlaub, Carl T
Harper, C. Douglas
Hird, Geoffrey
United States. National Aeronautics and Space Administration. Scientific and Technical Information Program
Publication Date (W3CDTF)
1993
Extent
microfiche
Size
11 × 15 cm
Place of Publication (Country Code)
US
Text Language Code
eng