Using Penelope to Assess the Correctness of NASA Ada Software: A Demonstration of Formal Methods as a Counterpart to Testing. de Eichenlaub, Carl T.et al - 1993
de Eichenlaub, Carl T.et al
Using Penelope to Assess the Correctness of NASA Ada Software: A Demonstration of Formal Methods as a Counterpart to Testing.
de Eichenlaub, Carl T.et al
- Usado
- Tapa blanda
Hampton: NASA. Very Good bright condition in wraps. 1993. Contractor Report 4509 .
-
Librería
Independent bookstores
(US)
- Estado del libro Usado - Very Good bright condition in wraps
- Encuadernación Tapa blanda
- Editorial NASA
- Lugar de publicación Hampton
- Fecha de publicación 1993
- Palabras clave Contractor Report 4509, Flight, Aviation, Space