CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India

CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India

Bibliographic Details
Main Author: Leroy, Xavier (-)
Corporate Authors: CPP (Conference) Corporate Author (corporate author), CPP (Conference) (-), ACM Special Interest Group on Programming Languages Content Provider (content provider)
Format: eBook
Language:Inglés
Published: [Place of publication not identified] ACM 2015
Series:ACM Conferences
Subjects:
Computer Science
Engineering & Applied Sciences
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712901006719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (184 pages)
ISBN:9781450332965

Similar Items