Research Catalog

Abstract datatypes in PVS

Title
Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar.
Author
Owre, Sam.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]

Details

Additional Authors
  • Shankar, N.
  • Langley Research Center.
  • United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
[NASA contractor report] ; NASA/CR-97-206264
Uniform Title
NASA contractor report ; NASA CR-206264.
Subject
  • Prototypes
  • Binary data
  • Trees (Mathematics)
  • Recursive functions
  • Data structures
  • Data processing
Note
  • Shipping list no.: 99-0631-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:206264
OCLC
marcive41603263
Author
Owre, Sam.
Title
Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]
Series
[NASA contractor report] ; NASA/CR-97-206264
NASA contractor report ; NASA CR-206264.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999] 1 microfiche.
Added Author
Shankar, N.
Langley Research Center.
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:206264
Research Call Number
READEX Microfiche NAS 1.26:206264
View in Legacy Catalog