机译:ada编译器验证摘要报告:证书编号:901129W1.11099 Verdix Corporation VaDs aTT 3B2 / 600G UNIX system V,版本3.2.2,Vada-110-5151,版本6.0 aTT 3B2 / 600G,UNIX系统V,版本3.2.2 = > aTT 3B2 / 600G,UNIX system V,第3版。
Ada programming language; Compilers; Standardization; Test and evaluation; Validation summary reports;