大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Yoneda 的图书(共1本)

Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22鈥⵬ 2007 Proceedings

0
索取号：
作者：Namjoshi、 Kedar S.、Yoneda、 Tomohiro.、Higashino、 Teruo.、Okamura、 Yoshio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.