机译:ada编译器验证摘要报告:证书编号890727s1.10127 Encore计算机公司,Encore Verdix ada开发系统,版本5.5 Encore multimax 320主机和Encore multimax 320目标。
Ada programming language; Compilers; Computers; Standardization; Test and evaluation; Validation summary reports;
机译:报告:加拿大的布鲁克菲尔德(Brookfield)竞标澳大利亚的Glencore煤矿
机译:通过案例研究增强对Encore Computer Corporation的专家系统的认识
机译:ada编译器验证摘要报告证书编号:890727s1.10128 Encore计算机公司Encore Verdix ada开发系统版本5.5 Encore multimax 320主机和Encore multimax 320目标。