TOP
0
0
進階搜尋

熱搜：

新辭典特價100元

、

黃仁勳傳預購

、

職業棒球 第514期

、

太陽底下無難事

、

銀髮川柳

、

公務員每月一書

、

三民年度暢銷TOP100

、

制度基因

、

曬書祭

、

年夜飯

、

勝天半子

熱搜： 新辭典特價100元、 黃仁勳傳預購、 職業棒球 第514期、 太陽底下無難事、 銀髮川柳、 公務員每月一書、 三民年度暢銷TOP100、 制度基因、 曬書祭、 年夜飯、 勝天半子

165反詐騙

1/15(三)凌晨網頁進行維護，造成不見敬請見諒

縮小範圍

商品類型
原文書 （1）
商品狀況
可訂購商品 （1）
庫存狀況
無庫存 （1）
商品定價
$800以上 （1）
出版日期
2017年以前 （1）
裝訂方式
精裝 （1）
作者
Yves Bertot/ Pierre CastTran/ Gerard Huet (FRW)/ Christine Paulin-Mohring (FRW) （1）
出版社/品牌
Springer Verlag （1）

三民網路書店 / 搜尋結果

共1筆商品，1/1頁
Interactive Theorem Proving And Program Development ― Coq'art: The Calculus Of Inductive Constructions
1.

Interactive Theorem Proving And Program Development ― Coq'art: The Calculus Of Inductive Constructions

作者：Yves Bertot; Pierre CastTran; Gerard Huet (FRW); Christine Paulin-Mohring (FRW)  出版社：Springer Verlag  出版日：2004/06/30 裝訂：精裝
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品