Certified programming with dependent types a pragmatic introduction to the Coq proof assistant

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Chlipala, Adam 1981- (Author)
বিন্যাস:	Electronic Resource
ভাষা:	English
প্রকাশিত:	Cambridge, Massachusetts The MIT Press [2013]
বিষয়গুলি:	Electronic books. Coq (Electronic resource) Automatic theorem proving > Computer programs. Computer programming.
অনলাইন ব্যবহার করুন:	Click here to access thru EZproxy Click here to access