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

責任表示
著者
本文言語
出版者
出版年
出版地
本文を見る Full text available from ACM Digital Library

詳細

レコードID
主題
SSID
XISBN
注記
登録日 2020.06.27
更新日 2020.06.28