Coq

的圖書，這是第 2 頁

	$ 32 電子書	Le Coq et le Renard 作者：Jean de La Fontaine　出版社：Edition du Phoenix d'Or 出版日期：2015-04-08 語言：法文樂天KOBO - 詩歌 - 來源網頁
	$ 5340	A Formal Definition of JML in Coq 作者：Lehner Hermann　出版社：Sudwestdeutscher Verlag Fur Hochschulschrifte 出版日期：2012-01-20 語言：英文規格：平裝 / 236頁 / 22.86 x 15.24 x 1.37 cm / 普通級/ 初版博客來 - 訊息資料處理與管理 - 來源網頁看圖書介紹
	$ 2911	Cucurbit Fruit Fly (Bactrocera cucurbitae Coq.) In Summer Squash 作者：Sapkota　出版社：LAP Lambert Academic Publishing 出版日期：2011-05-31 語言：英文規格：平裝 / 72頁 / 22.86 x 15.24 x 0.43 cm / 普通級/ 初版博客來 - 植物總論 - 來源網頁看圖書介紹
	$ 5399	Interactive Theorem Proving and Program Development: Coq’’art: The Calculus of Inductive Constructions 作者：Bertot　出版社：Springer 出版日期：2010-12-15 語言：英文規格：平裝 / 472頁 / 23.39 x 15.6 x 2.57 cm / 普通級/ 初版博客來 - 應用軟體與開發工程 - 來源網頁看圖書介紹
	$ 440	Du Coq A L’’Ane (From The Rooster To The Donkey): Or Jumping From One Thing To The Next 作者：Leete　出版社：Createspace Independent Publishing Platform 出版日期：2008-11-28 語言：英文規格：平裝 / 122頁 / 21.59 x 14 x 0.66 cm / 普通級/ 初版博客來 - 傳記總論 - 來源網頁看圖書介紹
	$ 7199	Interactive Theorem Proving and Program Development: Coq’art: The Calculus of Inductive Constructions 作者：Bertot,Yves/CastTran,Pierre/Huet,Gerard(FRW)/Paulin-Mohring,Christine(FRW)　出版社：Springer-Verlag New York Inc 出版日期：2004-05-14 語言：英文規格：精裝 / 15.9 x 23.5 x 2.5 cm / 普通級博客來 - 應用軟體與開發工程 - 來源網頁看圖書介紹