Research Catalog

Towards a formal semantics for Ada 9X

Title
Towards a formal semantics for Ada 9X [microform] / David Guaspari ... [et al.].
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]

Details

Additional Authors
  • Guaspari, David.
  • Langley Research Center.
Description
1 v.
Series Statement
NASA contractor report ; 195037
Uniform Title
NASA contractor report ; NASA CR-195037.
Subject
  • Ada (Programming language)
  • Computer programming
  • Semantics
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 95-0615-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:195037
OCLC
marcive36457890
Title
Towards a formal semantics for Ada 9X [microform] / David Guaspari ... [et al.].
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
Series
NASA contractor report ; 195037
NASA contractor report ; NASA CR-195037.
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1995] 2 microfiches.
Added Author
Guaspari, David.
Langley Research Center.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:195037
Research Call Number
READEX Microfiche NAS 1.26:195037
View in Legacy Catalog