搜索包含 Manna 的图书 - 暨南大学图书馆

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

	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.		The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification 0 索取号：作者：Bradley、 Aaron R.、Manna、 Zohar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	The logical basis for computer programming 0 索取号：TP31/E9930/2 作者：Manna、 Zohar.、Waldinger、 Richard.、出版社：Reading, Mass. : Addison-Wesley, 1990		The logical basis for computer programming 0 索取号：TP31/E9930/1 作者：Manna、 Zohar.、Waldinger、 Richard.、出版社：Reading, Mass. : Addison-Wesley, 1985

	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.		The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification 0 索取号：作者：Bradley、 Aaron R.、Manna、 Zohar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	The logical basis for computer programming 0 索取号：TP31/E9930/2 作者：Manna、 Zohar.、Waldinger、 Richard.、出版社：Reading, Mass. : Addison-Wesley, 1990		The logical basis for computer programming 0 索取号：TP31/E9930/1 作者：Manna、 Zohar.、Waldinger、 Richard.、出版社：Reading, Mass. : Addison-Wesley, 1985