<電子ブック>
CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India

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

詳細

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