CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA

CPP '18 proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA

Bibliographic Details
Corporate Authors: CPP (Conference) (-), ACM Special Interest Group on Programming Languages, sponsoring body (sponsoring body)
Other Authors: Andronick, June, editor (editor), Felty, Amy, editor
Format: eBook
Language:Inglés
Published: New York : ACM 2018.
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/alma991009712947506719
Description
Item Description:Includes index.
Physical Description:1 online resource (306 pages)

Similar Items