Numerical Software Verification:12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings(Theoretical Computer Science and General Issues)

数值软件验证:第12届国际研讨会 2019 / 会议录

计算机软件

原   价:
782.5
售   价:
626.00
优惠
平台大促 低至8折优惠
发货周期:外国库房发货,通常付款后3-5周到货
出版时间
2019年08月03日
装      帧
平装
ISBN
9783030284220
复制
页      码
145
开      本
9.25 x 6.10 x 0.35
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 50 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个