Formal methods of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan ([NASA contractor report] ; NASA-CR-203075) (Technical report series)

Formal methods of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan

([NASA contractor report] ; NASA-CR-203075) (Technical report series)

Call No. (NDL): YCA-NAS 1.26:203075
Bibliographic ID of National Diet Library: 000006627315

Material type: 図書

Author: Easterbrook, S. M. (Steven Michael) , 1965-ほか

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.: 98-1098-MPhysical description for original version: 1 v

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 of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan
Series Title: [NASA contractor report] ; NASA-CR-203075
Technical report series
Author/Editor (Series Title): NASA/WVU Software IV & V Facility, Software Research Laboratory
NASA-IVV-96-007
Author Heading: Easterbrook, S. M. (Steven Michael) , 1965-
Callahan, Jack
United States. National Aeronautics and Space Administration
Publication Date (W3CDTF): 1997
Extent: microfiche
Size: 11 × 15 cm
Alternative Title: Formal methods of V and V of partial specifications
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Computer programs
Proving
Program verification (Computers)
Note (General): Shipping list no.: 98-1098-M
Physical description for original version: 1 v
Note (Original Version): 原資料の出版事項: [Washington, DC] ; [Springfield, Va. : National Aeronautics and Space Administration : National Technical Information Service, distributor, 1997]
SUPTDOC番号: NAS 1.26: 203075
GPO管理番号: 0830-H-14 (MF)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.26:203075
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006627315
http://id.ndl.go.jp/bib/000006627315
OCLC No.: 42575553
https://www.worldcat.org/oclc/42575553
Bibliographic Record Category (NDL): 281