CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA / / edited by June Andronick and Amy Felty ; sponsored by ACM SIGPLAN

• Pubblicazione: New York : , : ACM, , 2018
• Descrizione fisica: 1 online resource (306 pages)
• Disciplina: 004.0151
• Soggetto topico: Computer science - Mathematics; Proof theory - Data processing; Formal methods (Computer science)
• Soggetto genere / forma: Electronic books.
• Persona (resp. second.): AndronickJune; FeltyAmy
• Note generali: Includes index.
• Altri titoli varianti: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs; Proceedings of the seventh Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Certified Programs and Proofs; Certified Programs and Proofs 2018 : proceedings of the seventh Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA
• Titolo autorizzato: CPP '18
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910376031103321
• Lo trovi qui: Univ. Federico II