一、項目編號：-（招標(biāo)文件編號：--） 二、項目名稱：中國科學(xué)院計算技術(shù)研究所形式化驗證軟件采購項目 三、中標(biāo)（成交）信息 供應(yīng)商名稱：北京耀華創(chuàng)芯電子科技有限公司 供應(yīng)商地址：北京市海淀區(qū)善緣街號層- 中標(biāo)（成交）金額：.（萬元） 四、主要標(biāo)的信息 序號 供應(yīng)商名稱 貨物名稱 貨物品牌 貨物型號 貨物數(shù)量 貨物單價(元) 北京耀華創(chuàng)芯電子科技有限公司 形式化驗證軟件 / / 套 $,. 五、評審專家（單一來源采購人員）名單： 楊若黎、王艷春、王文清、劉鋒、蔡繼勇 六、代理服務(wù)收費標(biāo)準(zhǔn)及金額： 本項目代理費收費標(biāo)準(zhǔn)：號文 本項目代理費總金額：. 萬元（人民幣） 七、公告期限 自本公告發(fā)布之日起個工作日。 八、其它補充事宜 一、附件：招標(biāo)文件 二、本項目采用綜合評分法，中標(biāo)供應(yīng)商的評審總得分.分 三、美元匯率：美元=.人民幣 九、凡對本次公告內(nèi)容提出詢問，請按以下方式聯(lián)系。 .采購人信息 名 稱：中國科學(xué)院計算技術(shù)研究所　　　　　 地址：北京市海淀區(qū)中關(guān)村科學(xué)院南路號　　　　　　　　 聯(lián)系方式：-　　　　　　 .采購代理機構(gòu)信息 名 稱：東方國際招標(biāo)有限責(zé)任公司　　　　　　　　　　　　 地　址：北京市海淀區(qū)丹棱街號互聯(lián)網(wǎng)金融中心層　　　　　　　　　　　　 聯(lián)系方式：馮宇圖 吳旭 李媛 -、-、-　　　　　　　　　　　　 .項目聯(lián)系方式 項目聯(lián)系人：馮宇圖 吳旭 李媛 電　話：　　-、-、- @....