CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France / / edited by Yves Bertot and Viktor Vafeiadis

• Pubblicazione: New York : , : ACM, , 2017
• Descrizione fisica: 1 online resource (234 pages)
• Disciplina: 004.0151
• Soggetto topico: Computer science - Mathematics; Formal methods (Computer science); Proof theory - Data processing
• Soggetto genere / forma: Electronic books.
• Persona (resp. second.): BertotYves; VafeiadisViktor
• Note generali: Includes index.
• Altri titoli varianti: Certified Programs and Proofs '17 : proceedings 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; Certified Programs and Proofs 2017; Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs; Proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs
• Titolo autorizzato: CPP '17
• ISBN: 1-4503-4705-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910376430403321
• Lo trovi qui: Univ. Federico II