01956nam 2200457 450 991037654160332120180829132549.01-4503-4127-6(CKB)3710000000729799(WaSeSS)IndRDA00103909(EXLCZ)99371000000072979920180829d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierCPP '16 proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA /edited by Jeremy Avigad and Adam Chlipala ; sponsored by ACM SIGPLANNew York :ACM,2016.1 online resource (196 pages)Includes index.Certified Programs and Proofs 2016 :proceedings 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, USAProceedings of the 5th ACM SIGPLAN Conference on Certified Programs and ProofsProceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and ProofsComputer scienceMathematicsCongressesProof theoryData processingCongressesFormal methods (Computer science)CongressesElectronic books.Computer scienceMathematicsProof theoryData processingFormal methods (Computer science)004.0151Avigad JeremyChlipala Adam1981-ACM Special Interest Group on Programming Languages,WaSeSSWaSeSSBOOK9910376541603321CPP '162165424UNINA