Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding (NISTIR ; 6777)

Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding

(NISTIR ; 6777)

Notes on use

Note (General)：: Shipping list no.: 2002-0256-M"February 1, 2002."Physical description for original version: 40 p. : 28 cm

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

Material Type: 図書
Title: Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding
Series Title: NISTIR ; 6777
Author Heading: Black, Paul E
Ammann, Paul
Ding, Wei, 1967 Sept. 14-
National Institute of Standards and Technology (U.S.)
Publication Date (W3CDTF): 2002
Extent: microfiche
Size: 11 × 15 cm
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Computer software -- Testing
Computer systems -- Verification
Note (General): Shipping list no.: 2002-0256-M
"February 1, 2002."
Physical description for original version: 40 p. : 28 cm
Note (Bibliography): Includes bibliographical references (p. 38-40)
Note (Original Version): 原資料の出版事項: Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [2002]
SUPTDOC番号: C 13.58: 6777
GPO管理番号: 0247-D (MF)
Holding library: 国立国会図書館
Call No.: YCA-C 13.58:6777
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006640976
http://id.ndl.go.jp/bib/000006640976
OCLC No.: 49674132
https://www.worldcat.org/oclc/49674132
Bibliographic Record Category (NDL): 281