モデル検査〜の在庫検索結果 / 日本の古本屋

洋書 Model Checking Quantum Systems: Principles and Algorithms

宮城)阿武隈書房
宮城県仙台市青葉区本町

￥9,000 （送料：￥185～）

Mingsheng Ying (著), Yuan Feng (著)、Cambridge Univer･･･

洋書ハードカバー本文線引き書込みありません

洋書 Model Checking Quantum Systems: Principles and Algorithms

￥9,000 （送料：￥185～）

Mingsheng Ying (著), Yuan Feng (著) 、Cambridge University Press 、2021

洋書ハードカバー本文線引き書込みありません

宮城)阿武隈書房

ＳＰＩＮ　モデル検査: 検証モデリング技法

[書影]

ノースブックセンター
東京都八王子市越野　8-23

￥891 （送料：￥350～）

中島震、近代科学社、2008年4月30日（発売年月日の記載となります、版・刷等について気になる際に･･･

紙面：ヤケ ▼ 本体：反り ▼ 側面：斑点状のシミ多数▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

送料は国内地域、書籍の重量や大きさに関わらず送料一律350円頂戴しております。 ※日本国外への発送は行っておりません。(発送先が海外の場合は注文キャンセルとさせていただきます。) ※郵便局留め、センター留め、コンビニ受取は指定不可となります。

ＳＰＩＮ　モデル検査: 検証モデリング技法

[書影]

￥891 （送料：￥350～）

中島震、近代科学社、2008年4月30日（発売年月日の記載となります、版・刷等について気になる際には別途お問い合わせください）、261 、paperback

紙面：ヤケ ▼ 本体：反り ▼ 側面：斑点状のシミ多数▼ 全体的に使用感・スレキズ・ヤケ・汚れ・シミ

ノースブックセンター

SPIN モデル検査　検証モデリング技法

ヨウキ書店
和歌山県和歌山市北出島

￥1,980

中島震、近代科学社、2009、238p、B5判小、送料290円

カバー付き。　見返しにゴム印と除籍シール、20行ほど蛍光ペンのラインがありますが、それ以外は良好です。

記載の送料は国内発送のみ、複数冊ご注文の場合は別途計算します。　海外発送の場合は実費。　代引き希望の場合は宅配便(実費)の利用。　*送料600円以上の場合はレターパックプラス又は宅配便で発送。　*定休日: 土・日曜日　*営業時間: 11:00～16:30

SPIN モデル検査　検証モデリング技法

￥1,980

中島震、近代科学社、2009 、238p 、B5判小、送料290円

カバー付き。　見返しにゴム印と除籍シール、20行ほど蛍光ペンのラインがありますが、それ以外は良好です。

ヨウキ書店

SPINによる設計モデル検証　モデル検査の実践ソフトウェア検証（トップエスイー実践講座3）

ヨウキ書店
和歌山県和歌山市北出島

￥2,900

吉岡信和・青木利晃・田原康之、近代科学社、2008、226p、B5判、送料290円

カバー付き。　見返しにゴム印と除籍シールがありますが、それ以外は良好です。

SPINによる設計モデル検証　モデル検査の実践ソフトウェア検証（トップエスイー実践講座3）

￥2,900

吉岡信和・青木利晃・田原康之、近代科学社、2008 、226p 、B5判、送料290円

カバー付き。　見返しにゴム印と除籍シールがありますが、それ以外は良好です。

ヨウキ書店

モデル検査　初級編ナノオプト・メディア産業技術総合研究所システム検証研究センタ

リサイクルストア　あかつき
岡山県総社市門田

￥1,470 （送料：￥380～）

（表紙カバー傷みあり、テープ補修跡があります）。除籍本です。管理ラベル・印、除籍印が表紙・天地小口・表題ページにあるものとご理解下さい。表紙にスレ、ヨレ、傷み、背にヤケ、天地小口にスレ、多少のヤケ、本にヨレ、があります。本を読むことに支障はございません。※注意事項※■商品・状態はコンディションガイドラインに基づき、判断・出品されております。■付録等の付属品がある商品の場合、記載されていない物は『付属なし』とご理解下さい。※