DTIC ADA042670: A Verification System for JOCIT-J3 Programs (Rugged Programming Environment - RPE-2)Reportar como inadecuado



 DTIC ADA042670: A Verification System for JOCIT-J3 Programs (Rugged Programming Environment - RPE-2)


DTIC ADA042670: A Verification System for JOCIT-J3 Programs (Rugged Programming Environment - RPE-2) - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: DTIC ADA042670: A Verification System for JOCIT-J3 Programs (Rugged Programming Environment - RPE-2)
This report describes work done during the second year of a research and development program aimed ultimately at a Rugged Programming Environment for JOVIAL. The RPE-1 verification system designed and built during the first year has been greatly extended and improved in several ways. The basic method of verification remains the same-that of inducti

Autor: Defense Technical Information Center

Fuente: https://archive.org/







Documentos relacionados