机译:国际标准化事业的中国耕耘者——中国首位“IEC 1906奖”获奖者姜周华教授Chinese Contributor to International Standardization Jiang Zhouhua,the first Chinese winner for IEC 1906 Award
机译:ada编译器验证摘要报告:证书编号:901129W1.11098 Verdix Corporation,VaDs sun-4 => sun-3,sun Os 4.0,Vada-110-4013,版本6.0,sun-4/260(sun Os 4.0)=> sun-3/260(sun Os 4.0)(主机和目标)。