প্রচ্ছদ

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

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Chlipala, Adam (Author)
বিন্যাস: গ্রন্থ
প্রকাশিত: 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 লভ্য এই স্থানে হোল্ড করুন

অনুরূপ উপাদানগুলি