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

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Chlipala, Adam 1981- (Údar)
Formáid:	Electronic Resource
Teanga:	English
Foilsithe / Cruthaithe:	Cambridge, Massachusetts The MIT Press [2013]
Ábhair:	Electronic books. Coq (Electronic resource) Automatic theorem proving > Computer programs. Computer programming.
Rochtain ar líne:	Click here to access thru EZproxy Click here to access