Kirill鈥檚 'coq,java,programming,spring,django' books on 欧宝娱乐 (1 book)

	#	cover	title	author	isbn	isbn13	asin	pages	rating	ratings	pub	(ed.)	rating	my rating	review	notes		comments	votes	count	started	read	added		owned			format
checkbox	position	cover	title Interactive Theorem Proving and Program Development	author Bertot, Yves	isbn 3540208542	isbn13 9783540208549	asin 3540208542	num pages 500 pp	avg rating 4.11	num ratings 28	date pub Jun 24, 2004	date pub edition May 14, 2004	Kirill's rating	my rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars add to shelves	review None	notes Notes are private!	comments 0	votes 0	# times read 0	date started not set	date read not set	date added May 14, 2011	owned	format Hardcover	actions view

欧宝娱乐