登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Scientific computing with automatic result verification
出版社：Boston : Academic Press, Inc., 1993.
ISBN：0120442108
出版年：1993
作者：Adams,E.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Scientific computation with automatic result verification
  • 作者：Kulisch,Ulrich.
  • ISBN：0387820639
  • 出版社：Wien ; New York : Springer-Verlag, c1988.
  • 出版年：1988
...

Interval analysis : and automatic result verification
  • 作者：Mayer,Günter,
  • ISBN：9783110500639
  • 出版社：Berlin ; Boston, [Massachusetts] : De Gruyter, 2017.
  • 出版年：2017
...

Verification and validation in scientific computing
  • 作者：Oberkampf,William L.,
  • ISBN：9780521113601
  • 出版社：Cambridge, UK ; New York : Cambridge University Press, 2010.
  • 出版年：2010
...

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germa
  • 作者：Alt,René.
  • ISBN：3540212604
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004
...

Automatic verification of sequential infinite-state processes
  • 作者：Burkart,Olaf.
  • ISBN：3540639829
  • 出版社：Berlin : Springer, 1998.
  • 出版年：1998
...

Software verification and validation : an engineering and scientific approach
  • 作者：Fisher,Marcus S.
  • ISBN：0387327258
  • 出版社：New York ; London : Springer, c2007.
  • 出版年：2007