斯普林格图书档案:每本电子书只有8.99本!立即保存>>

理论计算机科学与一般问题

认证程序和证明

2013年第三届国际会议,澳大利亚维多利亚州墨尔本,2013年12月11日至13日,会议记录

编辑:冈瑟乔治,诺里斯,迈克尔(编辑)

免费预览
  • 2013年第三届认证程序和证明国际会议最新结果会议记录

买这本书

电子书 60,98欧元
中国价格(P.R.) (毛)
  • 国际标准书号978-3-319-03545-1
  • 数字水印,无DRM
  • 包含格式:PDF
  • 电子书可以在所有的阅读设备上使用
  • 购买后立即下载电子书
软封面 72,99欧元
中国价格(P.R.) (毛)
  • 国际标准书号978-3-319-03544-4
  • 全球个人免运费
  • 订购时,请立即访问电子书*
  • 通常在3到5个工作日内发货。
关于这本书

本书构成了2013年12月在澳大利亚墨尔本举行的第三届认证程序和证明国际会议(CPP 2013)与APLAS 2013并置的裁判会议记录。18篇修改后的定期论文和1篇特邀讲座一起被仔细审查,并从39篇投稿中选出。这些论文被组织在关于代码验证、优雅的证明、证明库、认证转换和安全性的主题部分。

目录(19章)

目录(19章)

买这本书

电子书 60,98欧元
中国价格(P.R.) (毛)
  • 国际标准书号978-3-319-03545-1
  • 数字水印,无DRM
  • 包含格式:PDF
  • 电子书可以在所有的阅读设备上使用
  • 购买后立即下载电子书
软封面 72,99欧元
中国价格(P.R.) (毛)
  • 国际标准书号978-3-319-03544-4
  • 全球个人免运费
  • 立即访问电子书,如果有*,与您的打印订单
  • 通常在3到5个工作日内发货。
加载。。。

推荐给你

加载。。。

书目信息

书目信息
书名
认证程序和证明
书籍副标题
2013年第三届国际会议,澳大利亚维多利亚州墨尔本,2013年12月11日至13日,会议记录
编辑
  • 乔治·冈瑟
  • 迈克尔·诺里斯
系列标题
理论计算机科学与一般问题
系列卷
8307
版权
2013
出版商
斯普林格国际出版公司
版权所有人
瑞士斯普林格国际出版公司
电子书ISBN
978-3-319-03545-1
内政部
电话:1007-545-031
软封面ISBN
978-3-319-03544-4
版本号
1
页数
十二、 309个
插图数量
44黑白插图
话题

*由于COVID-19危机,印刷书籍的发货可能会延迟,因此购买后立即可用。电子书访问是临时的,不包括电子书的所有权。只有电子书版本才有效。斯普林格参考作品不包括在内。