• 首页
  • 本馆介绍
  • 公告通知
  • 最新文献
  • 馆藏检索
  • 电子资源
  • 读者导购
  • 参考咨询
  • CALIS
  • 我的图书馆
  • 登录
  • 详细信息显示
  • 放入我的书架
  • 预约/预借图书
  • 作者相关作品
  • 分类相关作品
  • 丛书相关作品
  • 出版社相关作品

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
交互式定理证明与程序开发
    
 
作者: 贝尔托 , 卡斯特拉 著 ;顾明 译
分册:  
出版信息: 北京   清华大学出版社  2010
页数: 19, 432页
开本: 26cm
丛书名: 国外经典教材
单 册:
中图分类: O141-39
科图分类:
主题词: 定理证明--ding li zheng ming--软件工具, Coq--教材
电子资源:
ISBN: 978-7-302-20813-6
正在获取E读信息...
正在获取样本链接...
正在获取全文链接...
正在获取摘要信息...
正在获取目录信息...
000 01534nam 2200313 450
001 0100000683
010    @a978-7-302-20813-6@dCNY59.00
100    @a20091218d2010 em y0chiy50 ea
101 1  @achi@ceng
102    @aCN@b110000
105    @aak a 000yy
106    @ar
200 1  @a交互式定理证明与程序开发@Ajiao hu shi ding li zheng ming yu cheng xu kai fa@eCoq归纳构造演算的艺术@d= Interactive theorem proving and program development@ecoq'art: the calculus of inductive constructions@f贝尔托, 卡斯特拉著@g顾明等译@zeng
210    @a北京@c清华大学出版社@d2010
215    @a19, 432页@c图@d26cm
225 2  @a国外经典教材@Aguo wai jing dian jiao cai@i计算机科学与技术
314    @a责任者汉译姓:贝尔托;卡斯特拉
320    @a有书目 (第[427]-432页)
330    @a本书的主要目标是从实践的角度来理解Coq系统及其基本理论:归纳构造演算。因此,这本书中包含了大量的例子,所有这些例子都可以在计算机上执行。为了教学目的,一些例子解释了错误或笨拙的用法以及避免这些问题的准则。
410  0 @12001 @a国外经典教材@i计算机科学与技术
500 10 @aInteractive theorem proving and program development coq'art: the calculus of inductive constructions@mChinese
517 1  @aCoq归纳构造演算的艺术@ACoq gui na gou zao yan suan de yi shu
606 0  @a定理证明@Ading li zheng ming@x软件工具, Coq@j教材
690    @aO141-39@v4
701  1 @a贝尔托@Abei er tuo@g(Bertot, Yves)@4著
701  1 @a卡斯特拉@Aka si te la@g(Casteran, Pierre)@4著
702  0 @a顾明@Agu ming@4译
801  0 @aCN@c20100602
905    @b21002531-33@dO141-39@eB675
    
    交互式定理证明与程序开发:Coq归纳构造演算的艺术= Interactive theorem proving and program development:coq'art: the calculus of inductive constructions/贝尔托, 卡斯特拉著/顾明等译.-北京:清华大学出版社,2010
    19, 432页:图;26cm.-(国外经典教材.计算机科学与技术)
    
    
    ISBN 978-7-302-20813-6:CNY59.00
    本书的主要目标是从实践的角度来理解Coq系统及其基本理论:归纳构造演算。因此,这本书中包含了大量的例子,所有这些例子都可以在计算机上执行。为了教学目的,一些例子解释了错误或笨拙的用法以及避免这些问题的准则。
●
相关链接 在E读中查询图书 在当当中查询图书 在豆瓣中查询图书


正题名:交互式定理证明与程序开发     索取号:O141-39/B675         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 1002531   210025319   自科库401/401自科库 40排2列5层/ [索取号:O141-39/B675] 在馆    
2 1002532   210025328   自科库401/401自科库 40排2列5层/ [索取号:O141-39/B675] 在馆    
3 1002533   210025337   自科库401/401自科库 40排2列5层/ [索取号:O141-39/B675] 在馆    
河南城建学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有