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

Computer aided verification : fourth international workshop : proceedings
出版社：Berlin : Springer, c1993.
ISBN：3540564969
出版年：1993
作者：CAV''92
资源类型：图书
细分类型：西文文献
3浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Computer-aided transit scheduling : proceedings of the Fourth International Workshop on Computer-Aid
  • 作者：International Workshop on Computer-aided Scheduling of Public Transport
  • ISBN：038719441X
  • 出版社：Berlin ; New York : Springer-Verlag, c1988.
  • 出版年：1988
...

Computer-aided verification : proceedings
  • 作者：DIMACS Workshop on Computer-Aided Verification
  • ISBN：3540544771
  • 出版社：Berlin ; New York : Springer-Verlag, c1991.
  • 出版年：1991
...

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

Fourth International Workshop on Computer-Aided Software Engineering : advance working papers, Irvin
  • 作者：Norman,Ronald J.
  • ISBN：081862129X
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1990.
  • 出版年：1990
...

Computer aided verification : 3rd international workshop, CAV ''91, Aalborg, Denmark, July 1-4, 1991
  • 作者：Larsen,K. G.
  • ISBN：3540551794
  • 出版社：Berlin ; New York : Springer-Verlag, c1992.
  • 出版年：1992
...

Proceedings of the Sixth International Workshop on Computer-Aided Software Engineering, CASE ''93, Si
  • 作者：International Workshop on Computer-Aided Software Engineering
  • ISBN：0818634804
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1993.
  • 出版年：1993