数理情報学入門　スコット・プログラム理論　/ 中島玲二

¥6715 税込

在庫なし

この商品は2点までのご注文とさせていただきます。

別途送料がかかります。送料を確認する

¥7900以上のご注文で国内送料が無料になります。

1982年　書き込みはありません．\r\r「数理情報学入門」\r中島玲二\r朝倉書店　数理科学ライブラリー\rA5判　170ページ\r\r1 序論\r2 関数型プログラム言語としてのλ論理\r3 データ領域と計算理論\r4 再帰データ領域①　D∞モデル\r5 再帰データ領域②　D∞モデル\r6 プログラム言語の表示的意味論\r付録　データ領域の加算基底性と連続性\r\rプログラム意味論　形式的意味論　表示的意味論　モデル理論　計算可能性　ラムダ計算　ソフトウェア科学　\r\r\r#中島玲二 #本 #コンピュータ／コンピュータ
カテゴリー:本・音楽・ゲーム>>>本>>>コンピュータ/IT
商品の状態:やや傷や汚れあり
配送料の負担:送料込み(出品者負担)
配送の方法:佐川急便/日本郵便
発送元の地域:未定
発送までの日数:2~3日で発送
再入荷通知を希望する
商品をアプリでお気に入り
通報する

  • カテゴリー

    コンピュータ/IT

  • レビュー

    (9)

  • 送料・配送方法について

  • お支払い方法について

¥4,455 税込

再入荷通知希望
セール中の商品