Transformational derivation of programs using the Focus system / Uday S. Reddy.
| Author/creator | Reddy, Uday S. |
| Other author | United States. National Aeronautics and Space Administration. |
| Format | Electronic |
| Publication Info | [Washington, D.C.] : [National Aeronautics and Space Administration], [1988] |
| Description | 1 online resource (22 pages). |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo30685 |
| Series | [NASA contractor report] ; NASA-CR-184875 NASA contractor report ; NASA CR-184875. ^A441636 |
| General note | Title from label (viewed on Nov. 27, 2012). |
| General note | "September 2, 1988." |
| General note | "CHORS-TM-89-001." |
| Bibliography note | Includes bibliographical references (p. 20-22). |
| Funding information | Supported in part by NASA grant NAG1-613 |
| Issued in other form | Print version: Reddy, Uday S. Transformational derivation of programs using the Focus system. |
| Issued in other form | Microfiche: Reddy, Uday S. Transformational derivation of programs using the Focus system. |
| GPO item number | 0830-H-14 (online) |
| Govt. docs number | NAS 1.26:184875 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |