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

NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

0
索取号：
作者：Goodloe、 Alwyn E.、Person、 Suzette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.