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

Computer-aided verification : proceedings
出版社：Berlin ; New York : Springer-Verlag, c1991.
ISBN：3540544771
出版年：1991
作者：DIMACS Workshop on Computer-Aided Verification
资源类型：图书
细分类型：西文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computer-Aided Verification
  • 作者：E.M.Clarke
  • ISBN：3540544771
  • 出版社：0000.00
...

Computer-aided verification of coordinating processes : the automata-theoretic approach
  • 作者：Kurshan,Robert P.,
  • ISBN：9780691634890
  • 出版社：Princeton, New Jersey : Princeton University Press ; 1994.
  • 出版年：1994
...

Expert systems in computer-aided design : proceedings of the ...
  • 作者：S.Gero,John
  • ISBN：0444702695
  • 出版社：Amsterdam : North-Holland, 1987
  • 出版年：1987
...

Expert systems in computer-aided design : proceedings of the ...
  • 作者：S.Gero,John
  • ISBN：0444702695 17.10
  • 出版社：Amsterdam : North-Holland, 1987
  • 出版年：1987
...

Computer aided verification : fourth international workshop : proceedings
  • 作者：CAV''92
  • ISBN：3540564969
  • 出版社：Berlin : Springer, c1993.
  • 出版年：1993
...

Computer-aided design : proceedings of the IFIP Working Conference on Principles of Computer-Aided D
  • 作者：International Federation for Information Processing.
  • 出版社：Amsterdam : North-Holland Pub. Co., 1973.
  • 出版年：1973