cav

的圖書，這是第 4 頁

	$ 3599	Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I 出版社：Springer 出版日期：2019-07-13 語言：英文規格：平裝 / 673頁 / 23.37 x 15.49 x 3.56 cm / 普通級/ 初版博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 3599	Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1 出版社：Springer 出版日期：2018-07-22 語言：英文規格：平裝 / 545頁 / 23.37 x 15.49 x 3.05 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3599	Computer Aided Verification: 30th International Conference, Cav 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 1 出版社：Springer 出版日期：2018-07-22 語言：英文規格：平裝 / 703頁 / 23.37 x 15.49 x 3.81 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 1823	Task Force 2-4 Cav -- First In, Last Out 作者：Barto　出版社：Lulu.com 出版日期：2018-01-07 語言：英文規格：精裝 / 172頁 / 22.86 x 15.24 x 1.42 cm / 普通級/ 初版博客來 - 歷史總論 - 來源網頁看圖書介紹
	$ 3299	Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I 出版社：Springer 出版日期：2017-07-13 語言：英文規格：平裝 / 601頁 / 23.39 x 15.6 x 3.2 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3299	Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II 出版社：Springer 出版日期：2017-07-13 語言：英文規格：平裝 / 623頁 / 23.39 x 15.6 x 3.3 cm / 普通級/ 初版博客來 - 程式語言 - 來源網頁看圖書介紹
	$ 3299	Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, Part I 出版社：Springer 出版日期：2016-07-14 語言：英文規格：平裝 / 541頁 / 23.39 x 15.6 x 2.9 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3299	Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, Part II 出版社：Springer 出版日期：2016-07-14 語言：英文規格：平裝 / 521頁 / 23.39 x 15.6 x 2.77 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3299	Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part I 出版社：Springer 出版日期：2015-07-27 語言：英文規格：平裝 / 677頁 / 23.39 x 15.6 x 3.58 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 3299	Computer Aided Verification: 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part II 出版社：Springer 出版日期：2015-07-23 語言：英文規格：平裝 / 469頁 / 23.39 x 15.6 x 2.49 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹
	$ 602	They Called him Cav 作者：Coury　出版社：Createspace Independent Publishing Platform 出版日期：2014-10-29 語言：英文規格：平裝 / 268頁 / 22.86 x 15.24 x 1.55 cm / 普通級/ 初版博客來 - 冒險/西部小說 - 來源網頁看圖書介紹
	$ 6599	Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1 出版社：Springer 出版日期：2014-08-04 語言：英文規格：平裝 / 877頁 / 23.39 x 15.6 x 4.57 cm / 普通級/ 初版博客來 - 程式 - 來源網頁看圖書介紹