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

Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli

0
索取号：
作者：Manna、 Zohar.、Peled、 Doron A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Perspectives of Systems Informatics [electronic resource] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

0
索取号：
作者：Pnueli、 Amir.、Virbitskaite、 Irina.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.