CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA

CPP '16 proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA

Bibliographic Details
Corporate Authors: CPP (Conference) (-), ACM Special Interest Group on Programming Languages, sponsoring body (sponsoring body)
Other Authors: Avigad, Jeremy, editor (editor), Chlipala, Adam, 1981- editor
Format: eBook
Language:Inglés
Published: New York : ACM 2016.
Series:ACM Conferences
Subjects:
Computer science > Mathematics > Congresses.
Proof theory > Data processing > Congresses.
Formal methods (Computer science) > Congresses.
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713982306719
Description
Item Description:Includes index.
Physical Description:1 online resource (196 pages)
ISBN:9781450341271

Similar Items