Cover Image

Transformational derivation of programs using the Focus system /

Bibliographic Details
Main Author: Reddy, Uday S.
Corporate Author: United States. National Aeronautics and Space Administration
Format: Government Document eBook
Language:English
Published: [Washington, D.C.] : [National Aeronautics and Space Administration], [1988]
Series:NASA contractor report ; NASA CR-184875.
Subjects:
Applications programs (computers)
Computer programming.
Program verification (computers)
Software development tools.
Software engineering.
Online Access:https://purl.fdlp.gov/GPO/gpo30685
Description
Item Description:Title from label (viewed on Nov. 27, 2012).
"September 2, 1988."
"CHORS-TM-89-001."
Electronic resource.
Physical Description:1 online resource (22 pages).
Bibliography:Includes bibliographical references (pages 20-22).