机译:ada编译器验证摘要报告:证书编号:940803W1.11374sKYComputers,Inc。sKYVEC aDa,版本3.6 spaRCstation 10,model 402在sunOs 4.1.3下=> sKYBOLD型号8146在sKYmpxrt下,研究sun 4 model spaRCcenter 2000在solaris 2.3下
Compilers; Ada programming language; Standards;
机译:Ipswich-sudbury LithoFrame 10-50型号的模型元数据摘要报告