Abstract datatypes in PVS
By: Sam Owre and Natarajan Shankar.
Contributors: Shankar, N.; Langley Research Center.; United States. National Aeronautics and Space Administration.
Series: [NASA contractor report] -- NASA/CR-97-206264.; NASA contractor report -- NASA CR-206264.
Publisher: National Aeronautics and Space Administration, Langley Research Center; National Technical Information Service, distributor
Published: 1997
Place of publication: Hampton, Va; [Springfield, Va
Language: eng
Format: Microform
Subjects: Prototypes.; Binary data.; Trees (Mathematics); Recursive functions.; Data structures.; Data processing.
Notes: Shipping list no.: 99-0631-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999] 1 microfiche.