An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler (NASA technical memorandum ; 110255)

An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler

(NASA technical memorandum ; 110255)

Call No. (NDL): YCA-NAS 1.15:110255
Bibliographic ID of National Diet Library: 000006615094

Material type: 図書

Author: Butler, Ricky Wほか

Publisher: -

Publication date: 1996

Material Format: Microform

Capacity, size, etc.: microfiche ; 11 × 15 cm

NDC: -

View All

Notes on use

Note (General)：: Shipping list no.: 98-0789-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: An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler
Series Title: NASA technical memorandum ; 110255
Author Heading: Butler, Ricky W
Langley Research Center
Publication Date (W3CDTF): 1996
Extent: microfiche
Size: 11 × 15 cm
Alternative Title: Specification of a simple autopilot
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Computer programming
Computer programs
User requirements
Software development tools
Program verification (Computers)
Software reliability
Equations of state
Specifications
Note (General): Shipping list no.: 98-0789-M
Physical description for original version: 1 v
Note (Original Version): 原資料の出版事項: Hampton, Va. ; [Springfield, Va. : National Aeronautics and Space Administration, Langley Research Center : National Technical Information Service, distributor, 1996]
SUPTDOC番号: NAS 1.15: 110255
GPO管理番号: 0830-D (MF)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.15:110255
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006615094
http://id.ndl.go.jp/bib/000006615094
OCLC No.: 39675735
https://www.worldcat.org/oclc/39675735
Bibliographic Record Category (NDL): 281