大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings
名称 Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings
索引号
分类号
(| 08 环境公报)
作者 Flanagan、 Cormac.、K枚nig、 Barbara.、SpringerLink (Online service)、
出版社 Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
ISBN
页数 XIX, 560p. 162 illus. digital.
价格 doi
标签
简介
注解