Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results

Available items only

Previous Record Next Record

ElectronicResource GovDoc

Author

Title Transformational derivation of programs using the Focus system [electronic resource] / Uday S. Reddy.

Imprint

[Washington, D.C. : National Aeronautics and Space Administration, 1988]

Connect to
Connect to https://permanent.fdlp.gov/gpo30685/19890015431-1989015431.pdf
Connect to https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19890015431.pdf

Copies

Location	Call No.	OPAC Message	Status
Axe Federal Documents Online	NAS 1.26:184875	---	Available

Description	1 online resource (22 p.)
Series	[NASA contractor report] ; NASA-CR-184875
	NASA contractor report ; NASA CR-184875.
Note	Title from label (viewed on Nov. 27, 2012).
	"September 2, 1988."
Bibliography	Includes bibliographical references (p. 20-22).
Funding	Supported in part by NASA grant NAG1-613
Note	"CHORS-TM-89-001."
Subject	Applications programs (computers).
	Computer programming.
	Program verification (computers) .
	Software development tools.
	Software engineering.
Added Author	United States. National Aeronautics and Space Administration.
Other Form:	Print version: Reddy, Uday S. Transformational derivation of programs using the Focus system. (OCoLC)819418942
	Microfiche: Reddy, Uday S. Transformational derivation of programs using the Focus system. (OCoLC)819417231
Gpo Item No.	0830-H-14 (online)
Sudoc No.	NAS 1.26:184875