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)

国立国会図書館請求記号: YCA-NAS 1.26:203075
国立国会図書館書誌ID: 000006627315

資料種別: 図書

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

出版者: -

出版年: 1997

資料形態: マイクロ

ページ数・大きさ等: microfiche ; 11 × 15 cm

NDC: -

すべて見る

資料に関する注記

一般注記：: Shipping list no.: 98-1098-MPhysical description for original version: 1 v

書店で探す

書誌情報

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

マイクロ

資料種別: 図書
タイトル: 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
シリーズ著者・編者: NASA/WVU Software IV & V Facility, Software Research Laboratory
NASA-IVV-96-007
著者標目: Easterbrook, S. M. (Steven Michael) , 1965-
Callahan, Jack
United States. National Aeronautics and Space Administration
出版年（W3CDTF）: 1997
数量: microfiche
大きさ: 11 × 15 cm
並列タイトル等: Formal methods of V and V of partial specifications
出版地（国名コード）: US
本文の言語コード: eng
資料種別（注記）: [microform]
件名標目: Computer programs
Proving
Program verification (Computers)
一般注記: Shipping list no.: 98-1098-M
Physical description for original version: 1 v
原資料等に関する注記: 原資料の出版事項: [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)
所蔵機関: 国立国会図書館
請求記号: YCA-NAS 1.26:203075
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006627315
http://id.ndl.go.jp/bib/000006627315
OCLC番号: 42575553
https://www.worldcat.org/oclc/42575553
整理区分コード: 281