Record Nr.

UNINA9910376031103321

Titolo

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

Pubbl/distr/stampa


New York : , : ACM, , 2018

Descrizione fisica

1 online resource (306 pages)

Disciplina

004.0151

Soggetti

Computer science - Mathematics

Proof theory - Data processing

Formal methods (Computer science)

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes index.