Using Penelope to Assess the Correctness of NASA Ada Software: A Demonstration of Formal Methods as a Counterpart to Testing. by Eichenlaub, Carl T.et al - 1993
by 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.
by Eichenlaub, Carl T.et al
- Used
- Paperback
Hampton: NASA. Very Good bright condition in wraps. 1993. Contractor Report 4509 .
-
Bookseller
Independent bookstores
(US)
- Book Condition Used - Very Good bright condition in wraps
- Binding Paperback
- Publisher NASA
- Place of Publication Hampton
- Date Published 1993
- Keywords Contractor Report 4509, Flight, Aviation, Space