CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France

CPP '17 proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France

Bibliographic Details
Corporate Author: CPP (Conference) (-)
Other Authors: Bertot, Yves, editor (editor), Vafeiadis, Viktor, editor
Format: eBook
Language:Inglés
Published: New York : ACM 2017.
Series:ACM Other conferences
Subjects:
Computer science > Mathematics > Congresses.
Formal methods (Computer science) > Congresses.
Proof theory > Data processing > Congresses.
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712997906719
Description
Item Description:Includes index.
Physical Description:1 online resource (234 pages)
ISBN:9781450347051

Similar Items