Welcome to the Kids' Library!

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

Back to Search Results

Available items only

Previous Record Next Record

E-Book/E-Doc

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