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