Research Catalog

The formal semantics of PVS

Title: The formal semantics of 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, 1999]

Details

Additional Authors

Description

1 v.

Series Statement

[NASA contractor report] ; NASA/CR-1999-209321

Uniform Title

NASA contractor report ; NASA CR-209321.

Subject

Note

Shipping list no.: 99-0848-M.

Reproduction (note)

Microfiche.

Call Number

READEX Microfiche NAS 1.26:209321

OCLC

42289525

Author

Owre, Sam.

Title

The formal semantics of 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, 1999]

Series

[NASA contractor report] ; NASA/CR-1999-209321

NASA contractor report ; NASA CR-209321.

Reproduction

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

Added Author

Shankar, N.

Langley Research Center.

Gpo Item No.

0830-H-14 (MF)

Sudoc No.

NAS 1.26:209321

Research Call Number

READEX Microfiche NAS 1.26:209321

View in Legacy Catalog