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

Model checking software : 23rd International Symposium SPIN 2016 co-located with ETAPS 2016 : Eindh
出版社：Switzerland : Springer, 2016.
ISBN：9783319325811
出版年：2016
作者：International SPIN Workshop
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016) : Kongens Lyn
  • 作者：International Symposium on Temporal Representation and Reasoning
  • ISBN：9781509038268
  • 出版社：Piscataway, N.J. : IEEE, 2016.
  • 出版年：2016
...

2016 IEEE 23rd International Conference on Software Analysis, Evolution and Reengineering (SANER 201
  • 作者：IEEE International Conference on Software Analysis,Evolution and Reengineering
  • ISBN：9781509018567
  • 出版社：Piscataway, N.J. : IEEE, 2016.
  • 出版年：2016
...

Verification, model checking, and abstract interpretation : 23rd International Conference, VMCAI 202
  • 作者：VMCAI 2022
  • ISBN：9783030945824
  • 出版社：Cham : Springer, 2022.
  • 出版年：2022
...

String processing and information retrieval : 23rd International Symposium, SPIRE 2016, Beppu, Japan
  • 作者：SPIRE 2016
  • ISBN：9783319460482
  • 出版社：Cham, Switzerland : Springer, 2016.
  • 出版年：2016
...

Fast software encryption : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 20
  • 作者：FSE 2016
  • ISBN：9783662529928
  • 出版社：Berlin : Springer, 2016.
  • 出版年：2016
...

Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proce
  • 作者：SAS 2016
  • ISBN：9783662534120
  • 出版社：Berlin, Germany : Springer, 2016.
  • 出版年：2016