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

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

詳細

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