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

Deductive software verification : future perspectives : reflections on the occasion of 20 years of K
出版社：Cham, Switzerland : Springer, 2020.
ISBN：9783030643539
出版年：2020
作者：Ahrendt,Wolfgang,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Deductive software verification : the key book : from theory to practice
  • 作者：Ahrendt,Wolfgang,
  • ISBN：9783319498119
  • 出版社：Cham : Springer, 2016.
  • 出版年：2016
...

The future of photovoltaic solar electricity : The next 20 years
  • 作者：by Monegon
  • 出版社：U.S. : Monegon,Ltd., 1982.
  • 出版年：1982
...

One hundred years of gauge theory : past, present and future perspectives
  • 作者：De Bianchi,Silvia.
  • ISBN：9783030511968
  • 出版社：Cham, Switzerland : Springer, 2020.
  • 出版年：2020
...

Perspectives on the future of software engineering : essays in honor of Dieter Rombach
  • 作者：Münch,Jürgen,
  • ISBN：9783642373947
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Reflections on research and the future of medicine
  • 作者：Charles E. Lyght
  • 出版社：New York : McGraw, 1966.
  • 出版年：1966
...

Open source software : quality verification : 9th IFIP WG 2.13 International Conference, OSS 2013, K
  • 作者：International Conference on Open Source Systems
  • ISBN：9783642389276
  • 出版社：Heidelberg ; New York : Springer, c2013.
  • 出版年：2013