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

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

	Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings 0 索取号：作者：Derrick、 John.、Gnesi、 Stefania.、Latella、 Diego.、Treharne、 Helen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings 0 索取号：作者：Treharne、 Helen.、King、 Steve.、Henson、 Martin.、Schneider、 Steve.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	An outline of commerce 0 索取号：F70/E805 作者：Williams、 David Treharne.、Pereira、 Sylvia.、出版社：Kuala Lumpur : Longman, 1970.		Commerce 0 索取号：F70/E804.5 作者：Williams、 David Treharne.、Pincott、 Millie.、出版社：New York : Longman, 1978.

	Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings 0 索取号：作者：Derrick、 John.、Gnesi、 Stefania.、Latella、 Diego.、Treharne、 Helen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings 0 索取号：作者：Treharne、 Helen.、King、 Steve.、Henson、 Martin.、Schneider、 Steve.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	An outline of commerce 0 索取号：F70/E805 作者：Williams、 David Treharne.、Pereira、 Sylvia.、出版社：Kuala Lumpur : Longman, 1970.		Commerce 0 索取号：F70/E804.5 作者：Williams、 David Treharne.、Pincott、 Millie.、出版社：New York : Longman, 1978.