大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Gheyi 的图书(共1本)
Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings0索取号: 作者:Gheyi、 Rohit.、Naumann、 David.、SpringerLink (Online service)、 出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012. |










粤公网安备 44030602003680号