大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings
名称 Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings
索引号
分类号
(| 08 环境公报)
作者 Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、
出版社 Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
ISBN
页数 XVI, 394p. digital.
价格 doi
标签
简介
注解