Vai al contenuto principale della pagina
Autore: |
Reddy Uday S
![]() |
Titolo: |
Transformational derivation of programs using the Focus system [[electronic resource] /] / Uday S. Reddy
![]() |
Pubblicazione: | [Washington, D.C.] : , : [National Aeronautics and Space Administration], , [1988] |
Descrizione fisica: | 1 online resource (22 pages) |
Soggetto topico: | Applications programs (computers) |
Computer programming | |
Program verification (computers) | |
Software development tools | |
Software engineering | |
Note generali: | Title from label (viewed on Nov. 27, 2012). |
"September 2, 1988." | |
"CHORS-TM-89-001." | |
Nota di bibliografia: | Includes bibliographical references (pages 20-22). |
Titolo autorizzato: | Transformational derivation of programs using the Focus system ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910702370303321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |