博客來-作者-Bultan

搜尋結果共 4 筆, 頁數 1 / 1

呈現:

		String Analysis for Software Verification and Security 外文書 , Alkhalaf Bultan Fang Muath Tevfik Yu , Ingram , 出版日期: 2019-06-06 優惠價: 4199 元 This is the first existing book focusing on string analysis Discusses how string analysis techniques... more	放入購物車下次再買
		String Analysis for Software Verification and Security 外文書 , Abdulbaki Bultan Fang/ Alkhalaf Muath/ Aydin Tevfik/ Yu , Ingram , 出版日期: 2018-01-30 優惠價: 5999 元 This is the first existing book focusing on string analysis Discusses how string analysis techniques... more	放入購物車下次再買
		Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 外文書 , Bravetti Mario (EDT)/ Bultan Tevfik (EDT) , Ingram , 出版日期: 2011-03-31 優惠價: 3299 元 This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Wor... more	放入購物車下次再買
		Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings 外文書 , Bultan Hsiung Pao-Ann Tevfik , Ingram , 出版日期: 2011-09-21 優惠價: 3299 元	放入購物車下次再買

搜尋推薦