Record Nr.

UNINA9910376541603321

Titolo

CPP '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 SIGPLAN

Pubbl/distr/stampa


New York : , : ACM, , 2016

ISBN

1-4503-4127-6

Descrizione fisica

1 online resource (196 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.