Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Chlipala, Adam (Зохиогч)
Формат:	Ном
Хэвлэсэн:	Cambridge, Massachusetts, USA: London, England, 2013.
Нөхцлүүд:	Demostración automática de teoremas > Programas de computador Coq (recurso electrónico)
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Biblioteca Mayor de Ingeniería -

Biblioteca Mayor de Ingeniería - -с авсан түр хойшлуулсан зүйлсийн дэлгэрэнгүй мэдээлэл
Зохиогчийн тэмдэгт:	005.1 CHL 2013
Хуулбар 1	Бэлэн Түр хойшлуулалтыг байршуулах