LEADER 01956nam  2200457   450 
001 9910376541603321
005 20180829132549.0
010   $a1-4503-4127-6
035   $a(CKB)3710000000729799
035   $a(WaSeSS)IndRDA00103909
035   $a(EXLCZ)993710000000729799
100   $a20180829d2016      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCPP '16 $eproceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA /$fedited by Jeremy Avigad and Adam Chlipala ; sponsored by ACM SIGPLAN
210  1$aNew York :$cACM,$d2016.
215   $a1 online resource (196 pages)
300   $aIncludes index.
517 1 $aCertified Programs and Proofs 2016 :$eproceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA
517 1 $aProceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
517 1 $aProceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs
606   $aComputer science$xMathematics$vCongresses
606   $aProof theory$xData processing$vCongresses
606   $aFormal methods (Computer science)$vCongresses
608   $aElectronic books.
615  0$aComputer science$xMathematics
615  0$aProof theory$xData processing
615  0$aFormal methods (Computer science)
676   $a004.0151
702   $aAvigad$b Jeremy
702   $aChlipala$b Adam$f1981-
712 02$aACM Special Interest Group on Programming Languages,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aBOOK
912   $a9910376541603321
996   $aCPP '16$92165424
997   $aUNINA