型システム入門 プログラミング言語と型の理論

¥26117

(税込) 送料込み

16
コメント

商品の説明

商品説明

商品コード:【4274069117】
商品名【中古】 型システム入門 プログラミング言語と型の理論
商品コード4274069117
商品説明



【メーカー名】
オーム社

【メーカー型番】


【ブランド名】


掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。

【 ご注文からお届けまで 】
・ご注文 :ご注文は24時間受け付けております。
・注文確認:当店より注文確認メールを送信いたします。
・入金確認:ご決済の承認が完了した翌日よりお届けまで2〜7営業日前後となります。
 ※海外在庫品の場合は2〜4週間程度かかる場合がございます。
 ※納期に変更が生じた際は別途メールにてご確認メールをお送りさせて頂きます。
 ※お急ぎの場合は事前にお問い合わせください。
・商品発送:出荷後に配送業者と追跡番号等をメールにてご案内致します。
 ※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。
 ※ご注文後、当店よりご注文内容についてご確認のメールをする場合がございます。期日までにご返信が無い場合キャンセルとさせて頂く場合がございますので予めご了承下さい。

【 在庫切れについて 】
他モールとの併売品の為、在庫反映が遅れてしまう場合がございます。完売の際はメールにてご連絡させて頂きますのでご了承ください。

【 初期不良のご対応について 】
・商品が到着致しましたらなるべくお早めに商品のご確認をお願いいたします。
・当店では初期不良があった場合に限り、商品到着から7日間はご返品及びご交換を承ります。初期不良の場合はご購入履歴の「ショップへ問い合わせ」より不具合の内容をご連絡ください。
・代替品がある場合はご交換にて対応させていただきますが、代替品のご用意ができない場合はご返品及びご注文キャンセル(ご返金)とさせて頂きますので予めご了承ください。


【 中古品ついて 】
中古品のため画像の通りではございません。また、中古という特性上、使用や動作に影響の無い程度の使用感、経年劣化、キズや汚れ等がある場合がございますのでご了承の上お買い求めくださいませ。

◆ 付属品について
商品タイトルに記載がない場合がありますので、ご不明な場合はメッセージにてお問い合わせください。商品名に『付属』『特典』『○○付き』等の記載があっても特典など付属品が無い場合もございます。ダウンロードコードは付属していても使用及び保証はできません。中古品につきましては基本的に動作に必要な付属品はございますが、説明書・外箱・ドライバーインストール用のCD-ROM等は付属しておりません。

◆ ゲームソフトのご注意点
・商品名に「輸入版 / 海外版 / IMPORT」と記載されている海外版ゲームソフトの一部は日本版のゲーム機では動作しません。お持ちのゲーム機のバージョンなど対応可否をお調べの上、動作の有無をご確認ください。尚、輸入版ゲームについてはメーカーサポートの対象外となります。

◆ DVD・BLU-RAYのご注意点
・商品名に「輸入版 / 海外版 / IMPORT」と記載されている海外版DVD・BLU-RAYにつきましては映像方式の違いの為、一般的な国内向けプレイヤーにて再生できません。ご覧になる際はディスクの「リージョンコード」と「映像方式(DVDのみ)」に再生機器側が対応している必要があります。パソコンでは映像方式は関係ないため、リージョンコードさえ合致していれば映像方式を気にすることなく視聴可能です。
・商品名に「レンタル落ち 」と記載されている商品につきましてはディスクやジャケットに管理シール(値札・セキュリティータグ・バーコード等含みます)が貼付されています。ディスクの再生に支障の無い程度の傷やジャケットに傷み(色褪せ・破れ・汚れ・濡れ痕等)が見られる場合があります。予めご了承ください。

◆ トレーディングカードのご注意点
トレーディングカードはプレイ用です。中古買取り品の為、細かなキズ・白欠け・多少の使用感がございますのでご了承下さいませ。再録などで型番が違う場合がございます。違った場合でも事前連絡等は致しておりませんので、型番を気にされる方はご遠慮ください。


スペック

注意事項

26117円型システム入門 プログラミング言語と型の理論本、雑誌雑誌新装版 プログラミング言語の基礎理論 | 淳
型システム入門 −プログラミング言語と型の理論−

型システム入門 −プログラミング言語と型の理論−


型システム入門 −プログラミング言語と型の理論−

型システム入門 −プログラミング言語と型の理論−


プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))


型システム入門 : プログラミング言語と型の理論 Pierce, Benjamin C

型システム入門 : プログラミング言語と型の理論 Pierce, Benjamin C


型システム入門 プログラミング言語と型の理論 - メルカリ

型システム入門 プログラミング言語と型の理論 - メルカリ


よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70

よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70


型システム入門 −プログラミング言語と型の理論− | Benjamin C

型システム入門 −プログラミング言語と型の理論− | Benjamin C


型システム入門 : プログラミング言語と型の理論-eastgate.mk

型システム入門 : プログラミング言語と型の理論-eastgate.mk


よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70

よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70


型システム入門 : プログラミング言語と型の理論 売り半額

型システム入門 : プログラミング言語と型の理論 売り半額


プログラミングの本を読みたいが、数学が分からなくて読めない|magurotuna

プログラミングの本を読みたいが、数学が分からなくて読めない|magurotuna


型システム入門 : プログラミング言語と型の理論 売り半額

型システム入門 : プログラミング言語と型の理論 売り半額


ゼロから学ぶRust システムプログラミングの基礎から線形型システム

ゼロから学ぶRust システムプログラミングの基礎から線形型システム


Basic 12] 関数型言語 / 型理論 | PPT

Basic 12] 関数型言語 / 型理論 | PPT


2023年最新】住井英二郎の人気アイテム - メルカリ

2023年最新】住井英二郎の人気アイテム - メルカリ


型システム入門 プログラミング言語と型の理論 | BenjaminC

型システム入門 プログラミング言語と型の理論 | BenjaminC


型システム入門 プログラミング言語と型の理論 Benjamin C.Pierce/著 住井英二郎/監訳 遠藤侑介

型システム入門 プログラミング言語と型の理論 Benjamin C.Pierce/著 住井英二郎/監訳 遠藤侑介


よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70

よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70


プログラミング言語StandardML入門 | 淳, 大堀 |本 | 通販 | Amazon

プログラミング言語StandardML入門 | 淳, 大堀 |本 | 通販 | Amazon


プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社

プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社


新装版 プログラミング言語の基礎理論 | 淳, 大堀 |本 | 通販 | Amazon

新装版 プログラミング言語の基礎理論 | 淳, 大堀 |本 | 通販 | Amazon


型システム入門 プログラミング言語と型の理論 | BenjaminC

型システム入門 プログラミング言語と型の理論 | BenjaminC


型システム入門 プログラミング言語と型の理論 - メルカリ

型システム入門 プログラミング言語と型の理論 - メルカリ


事前準備|型システム入門 プログラミング言語と型の理論 メモ

事前準備|型システム入門 プログラミング言語と型の理論 メモ


型システム入門 プログラミング言語と型の理論 - コンピュータ/IT

型システム入門 プログラミング言語と型の理論 - コンピュータ/IT


型システム入門 第1-4章 / TaPL ch.01-04 - Speaker Deck

型システム入門 第1-4章 / TaPL ch.01-04 - Speaker Deck


「型推論」特別講義 第9回 (プログラミング言語の基礎理論シリーズ)

「型推論」特別講義 第9回 (プログラミング言語の基礎理論シリーズ)


型システム入門 プログラミング言語と型の理論 - コンピュータ/IT

型システム入門 プログラミング言語と型の理論 - コンピュータ/IT


型システム入門 プログラミング言語と型の理論 - コンピュータ/IT

型システム入門 プログラミング言語と型の理論 - コンピュータ/IT


書籍紹介】型システム入門 | PPT

書籍紹介】型システム入門 | PPT


型システム入門 −プログラミング言語と型の理論− | Benjamin C

型システム入門 −プログラミング言語と型の理論− | Benjamin C


2023年最新】プログラミング言語 理論の人気アイテム - メルカリ

2023年最新】プログラミング言語 理論の人気アイテム - メルカリ


型システム入門 プログラミング言語と型の理論【委託】 - 達人出版会

型システム入門 プログラミング言語と型の理論【委託】 - 達人出版会


プログラミング[型システム入門 プログラミング言語と方の理論

プログラミング[型システム入門 プログラミング言語と方の理論


形式意味論入門 (開拓社叢書) | 拓郎, 田中 |本 | 通販 | Amazon

形式意味論入門 (開拓社叢書) | 拓郎, 田中 |本 | 通販 | Amazon


プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社

プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社


RubyでつくるRuby ゼロから学びなおすプログラミング言語入門 – 技術書

RubyでつくるRuby ゼロから学びなおすプログラミング言語入門 – 技術書


型システム入門 プログラミング言語と型の理論 - コンピュータ/IT

型システム入門 プログラミング言語と型の理論 - コンピュータ/IT


型システム入門 −プログラミング言語と型の理論− | Benjamin C

型システム入門 −プログラミング言語と型の理論− | Benjamin C


よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70

よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70





もっと見る

商品の情報

カテゴリー
配送料の負担
送料込み(出品者負担)
配送の方法
ゆうゆうメルカリ便
郵便局/コンビニ受取匿名配送
発送元の地域
宮城県
発送までの日数
1~2日で発送

メルカリ安心への取り組み

お金は事務局に支払われ、評価後に振り込まれます

出品者

スピード発送

この出品者は平均24時間以内に発送しています

型システム入門 プログラミング言語と型の理論

この商品を見ている人におすすめ