LEADER 01885nam  2200457   450 
001 9910376430403321
005 20180829133210.0
010   $a1-4503-4705-3
035   $a(CKB)3710000001156718
035   $a(WaSeSS)IndRDA00103951
035   $a(EXLCZ)993710000001156718
100   $a20180829d2017      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCPP '17 $eproceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France /$fedited by Yves Bertot and Viktor Vafeiadis
210  1$aNew York :$cACM,$d2017.
215   $a1 online resource (234 pages)
300   $aIncludes index.
517 1 $aCertified Programs and Proofs '17 :$eproceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France
517 1 $aCertified Programs and Proofs 2017
517 1 $aProceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
517 1 $aProceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs
606   $aComputer science$xMathematics$vCongresses
606   $aFormal methods (Computer science)$vCongresses
606   $aProof theory$xData processing$vCongresses
608   $aElectronic books.
615  0$aComputer science$xMathematics
615  0$aFormal methods (Computer science)
615  0$aProof theory$xData processing
676   $a004.0151
702   $aBertot$b Yves
702   $aVafeiadis$b Viktor
801  0$bWaSeSS
801  1$bWaSeSS
906   $aBOOK
912   $a9910376430403321
996   $aCPP '17$92165414
997   $aUNINA