Principles of Model Checking (Mit Press) [ハードカバー] Baier, Christel、 Katoen, Joost-Pieter; Larsen, Kim Guldstrand

999円以上お買上げで送料無料(
999円以上お買上げで代引き手数料100円
中古 10,971円 (税込)
数量

商品詳細情報

管理番号 中古 :70042249060 メーカー Principles 発売日 2025/02/15 05:54 型番 Z9213834882
カテゴリ

備考

商品説明

【30日間返品保証】
商品説明に誤りがある場合は、無条件で弊社送料負担で商品到着後30日間返品を承ります。

ご満足のいく取引となるよう精一杯対応させていただきます。

※下記に商品説明およびコンディション詳細、出荷予定・配送方法・お届けまでの期間について記載しています。ご確認の上ご購入ください。

【インボイス制度対応済み】当社では2023年10月からインボイス制度に対応した適格請求書発行事業者番号(通称:T番号・登録番号)を印字した納品書(明細書)を商品に同梱してお送りしております。こちらをご利用いただくことで、税務申告時や確定申告時に消費税額控除を受けることが可能になります。

■商品名■
PrinciplesofModelChecking(MitPress)[ハードカバー]Baier,Christel、Katoen,Joost-Pieter;Larsen,KimGuldstrand

■出版社■
TheMITPress

■著者■
BaierChristel

■発行年■
2008/04/25

■ISBN10■
026202649X

■ISBN13■
9780262026499

■コンディションランク■
良い

コンディションランク説明
ほぼ新品:未使用に近い状態の商品
非常に良い:傷や汚れが少なくきれいな状態の商品
良い:多少の傷や汚れがあるが、概ね良好な状態の商品(中古品として並の状態の商品)
可:傷や汚れが目立つものの、使用には問題ない状態の商品

■コンディション詳細■
書き込みありません。古本のため多少の使用感やスレ・キズ・傷みなどあることもございますが全体的に概ね良好な状態です。


■当社の出品一覧はこちら↓■
#ブックスドリーム出品一覧
参考書・赤本・専門書・医学書、予備校テキスト・塾テキスト・教材を10万点以上出品しています。

※上記クリック後、「半角または全角スペース+検索したいワード」を追加することで、予備校名や出版社名、講師名等で絞れます。
例)
「#ブックスドリーム出品一覧駿台」
「#ブックスドリーム出品一覧旺文社」
「#ブックスドリーム出品一覧四谷大塚小6算数」


【発送予定日について】
こちらの商品は午前9時までのご注文は当日に発送致します。午前9時以降のご注文は翌日に発送致します。
※日曜日・年末年始(12/31〜1/3)は除きます(日曜日・年末年始は発送休業日です。祝日は発送しています)。

(例)
・月曜0時〜9時までのご注文:月曜日に発送
・月曜9時〜24時までのご注文:火曜日に発送
・土曜0時〜9時までのご注文:土曜日に発送
・土曜9時〜24時のご注文:月曜日に発送
・日曜0時〜9時までのご注文:月曜日に発送
・日曜9時〜24時のご注文:月曜日に発送

【送付方法について】
ネコポス、宅配便またはレターパックでの発送となります。

関東地方・東北地方・新潟県・北海道・沖縄県・離島以外は、発送翌日に到着します。
関東地方・東北地方・新潟県・北海道・沖縄県・離島は、発送後2日での到着となります。


商品説明と著しく異なる点があった場合や異なる商品が届いた場合は、到着後30日間は無条件で着払いでご返品後に返金させていただきます。取引メッセージにてご連絡ください。

おんなのこ物語―初潮のほん (ドリーミーライフシリーズ (1)) 滋子,佐藤; ゆり,岡本
おんなのこ物語―初潮のほん (ドリーミーライフシリーズ (1)) 滋子,佐藤; ゆり,岡本

健康という幻想 ルネ・デュボス; 田多井 吉之介
健康という幻想 ルネ・デュボス; 田多井 吉之介

 

古文標準問題精講
古文標準問題精講

東京教育大学/筑波大学 数学入試問題50年: 昭和31年(1956)~平成17年(2005) 聖文新社編集部
東京教育大学/筑波大学 数学入試問題50年: 昭和31年(1956)~平成17年(2005) 聖文新社編集部

 

東京教育大学/筑波大学 数学入試問題50年: 昭和31年(1956)~平成17年(2005) 聖文新社編集部
東京教育大学/筑波大学 数学入試問題50年: 昭和31年(1956)~平成17年(2005) 聖文新社編集部

On the Margins of Empire: Buraku and Korean Identity in Prewar and Wartime Japan (Harvard East Asian Monographs) [ハードカバー] Bayliss,Jeffrey Paul
On the Margins of Empire: Buraku and Korean Identity in Prewar and Wartime Japan (Harvard East Asian Monographs) [ハードカバー] Bayliss,Jeffrey Paul

 

The Echo Manual Oh,Jae K.,M.D.、 Seward,James B.,M.D.; Tajik,A. Jamil
The Echo Manual Oh,Jae K.,M.D.、 Seward,James B.,M.D.; Tajik,A. Jamil

世界一わかりやすい 東大の理系数学 合格講座 (人気大学過去問シリーズ) 築舘 一英
世界一わかりやすい 東大の理系数学 合格講座 (人気大学過去問シリーズ) 築舘 一英

 

In Sync Level 2 Language Builder [ペーパーバック] Freebairn,Ingrid; Bygrave,Jonathan
In Sync Level 2 Language Builder [ペーパーバック] Freebairn,Ingrid; Bygrave,Jonathan

歯科臨床研修マニュアル できる研修医の条件―臨床研修をはじめる前に 前田 芳信、 十河 基文、 覚道 健治、 玉川 裕夫、 河野 文昭、 櫻井 薫、 樋口 勝規、 星野 茂、 紺井 拡隆; 佐藤 利英
歯科臨床研修マニュアル できる研修医の条件―臨床研修をはじめる前に 前田 芳信、 十河 基文、 覚道 健治、 玉川 裕夫、 河野 文昭、 櫻井 薫、 樋口 勝規、 星野 茂、 紺井 拡隆; 佐藤 利英

 

商品情報の訂正

このページに記載された商品情報に記載漏れや誤りなどお気づきの点がある場合は、下記訂正依頼フォームよりお願い致します。

訂正依頼フォーム

商品レビュー

レビューの投稿にはサインインが必要です