Computer aided verification : 5th international conference, CAV ''93, Elounda, Greece, June 28-July 1

Computer aided verification : 5th international conference CAV ''93 Elounda Greece June 28-July 1

出版社：Berlin ; New York : Springer-Verlag, 1993.

ISBN：3540569227

出版年：1993

作者：Courcoubetis,Costas

资源类型：图书

细分类型：西文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23,

作者：CAV 2016
ISBN：9783319415277
出版社：Switzerland : Springer, 2016.
出版年：2016

Computer aided verification : 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23,

作者：CAV 2016
ISBN：9783319415390
出版社：Switzerland : Springer, 2016.
出版年：2016

Computer aided verification : 7th International Conference, CAV ''95, Lige, Belgium, July 3-5, 1995 :

作者：Wolper,Pierre
ISBN：3540600450
出版社：Berlin : Springer, 1995.
出版年：1995

Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24

作者：CAV 2024
ISBN：9783031656323
出版社：Cham : Springer, 2024.,Cham, Switzerland : Springer, 2024.
出版年：2024

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July

作者：CAV 2015
ISBN：9783319216898
出版社：Cham : Springer, [2015]
出版年：2015

Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July

作者：CAV 2015
ISBN：9783319216676
出版社：Cham : Springer, [2015]
出版年：2015