図書

Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan (Technical report series ; NASA/IVV-97-010)

Icons representing 図書

Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan

(Technical report series ; NASA/IVV-97-010)

Call No. (NDL)
YCA-NAS 1.26:207040
Bibliographic ID of National Diet Library
000006623730
Material type
図書
Author
Easterbrook, Steveほか
Publisher
-
Publication date
1997
Material Format
Microform
Capacity, size, etc.
microfiche ; 11 × 15 cm
NDC
-
View All

Notes on use

Note (General)：

Shipping list no.: 99-0323-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
Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan
Series Title
Technical report series ; NASA/IVV-97-010
Title Heading
NASA contractor report ; NASA CR-207040
Author Heading
Easterbrook, Steve
Callahan, John
United States. National Aeronautics and Space Administration
Publication Date (W3CDTF)
1997
Extent
microfiche
Size
11 × 15 cm
Place of Publication (Country Code)
US
Text Language Code
eng