Using Penelope to assess the correctness of NASA Ada software a demonstration of formal methods as a counterpart to testing (SuDoc NAS 1.26 free

Author: Carl T. Eichenlaub
Edition:
Publisher: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program National Technical Information Service, distributor]
Binding: Unknown Binding
ISBN: B00010LJFY
Category: Programming
List Price:
Price:
You Save: 0%

Using Penelope to assess the correctness of NASA Ada software a demonstration of formal methods as a counterpart to testing (SuDoc NAS 1.26:4509)

Programming books Using Penelope to assess the correctness of NASA Ada software a demonstration of formal methods as a counterpart to testing (SuDoc NAS 1.26 pdf. . Download books pdf via mediafire, 4shared, rapidshare.

Download Using Penelope to assess the correctness of NASA Ada software a demonstration of formal methods as a counterpart to testing (SuDoc NAS 1.26

Download free Using Penelope to assess the correctness of NASA Ada software a demonstration of formal methods as a counterpart to testing (SuDoc NAS 1.26:4509) pdf