検索結果 1 - 1 結果 / 1 検索語 'Chlipala, Adam 1981-', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Certified programming with dependent types a pragmatic introduction to the Coq proof assistant 著者: Chlipala, Adam 1981-

    出版事項 2013
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Certified programming with dependent types a pragmatic introduction to the Coq proof assistant

検索ツール: