Jump to main content

図書

Analyzing tabular and state-transition requirements specifications in PVS [microform] / Sam Owre, John Rushby, and Natarajan Shankar (NASA contractor report ; 201729)

Icons representing 図書

Analyzing tabular and state-transition requirements specifications in PVS [microform] / Sam Owre, John Rushby, and Natarajan Shankar

(NASA contractor report ; 201729)

Call No. (NDL)
YCA-NAS 1.26:201729
Bibliographic ID of National Diet Library
000006617001
Material type
図書
Author
Owre, Samほか
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-0848-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
Analyzing tabular and state-transition requirements specifications in PVS [microform] / Sam Owre, John Rushby, and Natarajan Shankar
Series Title
NASA contractor report ; 201729
Title Heading
NASA contractor report ; NASA CR-201729
Author Heading
Owre, Sam
Rushby, John
Shankar, Natarajan
Langley Research Center
Publication Date (W3CDTF)
1997
Extent
microfiche
Size
11 × 15 cm
Alternative Title
Analyzing tabular and state transition requirements specifications in PVS
Place of Publication (Country Code)
US