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

Formal Methods: Foundations and Applications [electronic resource] : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

0
索取号:
作者:Gheyi、 Rohit.、Naumann、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.