Research Catalog

Toward fidelity between specification and implementation

Title
Toward fidelity between specification and implementation [microform] / by John R. Callahan ... [et al.].
Publication
[Washington, D.C.] : National Aeronautics and Space Administration ; [Morgantown, W.Va.?] : West Virginia University ; [Springfield, Va. : National Technical Information Service, distributor, 1994]

Details

Additional Authors
  • Callahan, John R., 1942-
  • United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
  • NASA contractor report ; NASA CR-200025
  • Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory
Subject
  • Communication networks
  • Functional design specifications
  • Packet switching
  • Packet transmission
  • Program verification (Computers)
  • Protocol (Computers)
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 96-0513-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:200025
OCLC
marcive35518148
Title
Toward fidelity between specification and implementation [microform] / by John R. Callahan ... [et al.].
Imprint
[Washington, D.C.] : National Aeronautics and Space Administration ; [Morgantown, W.Va.?] : West Virginia University ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Series
NASA contractor report ; NASA CR-200025
Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1996] 1 microfiche.
Added Author
Callahan, John R., 1942-
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:200025
Research Call Number
READEX Microfiche NAS 1.26:200025
View in Legacy Catalog