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

ग्रंथसूची विवरण
मुख्य लेखक:	Chlipala, Adam 1981- (लेखक)
स्वरूप:	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