博客來-作者-Adenilso

		Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30 2011 Revis 外文書 , Adenilso (EDT)/ Morgan Carroll (EDT) Simao , Ingram , 出版日期: 2011-10-28 優惠價: 4199 元 This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... more	放入購物車下次再買
		Theoretical Aspects of Computing - Ictac 2020: 17th International Colloquium, Macau, China, November 30-December 4, 2020, Proceedings 外文書 , Adenilso Pun Simão Stolz Violet Kai I. Volker , Ingram , 出版日期: 2020-11-25 優惠價: 3299 元 This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of... more	放入購物車下次再買
		Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec 外文書 , Adenilso Davies Jim Leila Silva Simao , Ingram , 出版日期: 2011-03-23 優惠價: 3299 元	放入購物車下次再買
		Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 2010 Proceedings 外文書 , Adenilso (EDT)/ Maldonado Alexandre (EDT)/ Simao Jose Carlos (EDT) Petrenko , Ingram , 出版日期: 2010-10-08 優惠價: 3299 元 Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Sof... more	可訂購時通知我

搜尋推薦