このページのリンク

引用にはこちらのURLをご利用ください

利用統計

  • このページへのアクセス:8回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
C++ toolbox for verified computing

責任表示 R. Hammer ... [et al.]
データ種別 図書
出版情報 Berlin : Springer

子書誌情報

書誌詳細

著者標目 Hammer, R. (Rolf), 1961-
書誌ID 1000285462
NCID BA25275716
登録日 2009.09.11
更新日 2009.09.17