オークション落札商品中古

【裁断済み】UPPAALによる性能モデル検証 -リアルタイムシステムのモデル化…

この商品の詳細を見る

『【裁断済み】UPPAALによる性能モデル検証 -リアルタイムシステムのモデル化…』はセカイモンで6a8d65から出品され、191の入札を集めて05月11日 12時 24分に、1428円で落札されました。即決価格は1428円でした。決済方法はに対応。青森県からの発送料は落札者が負担しました。ＰＲオプションはストア、取りナビ(ベータ版)を利用したオークション、即買でした。

この商品をお気に入りに登録
同じ商品を出品する

《出品：2021-07-23》＊注意＊・本書は「裁断」されており、ページが一枚ずつバラバラの状態でございます。通常の読書には適しません・単品での値下げは一切いたしません。複数冊ご購入いただく場合は値引きをいたします（詳細はプロフィールに記載）・プロフィールの記載を必ずご確認ください上記をご了承のうえ、ご購入ください。【商品の状態・備考】・ページふちに薄ヤケあり・ジャケットと帯に軽微な傷あり・そのほか目立った傷や汚れなし【配送・発送について】佐川急便/日本郵便、もしくは佐川急便/日本郵便で発送いたします。【梱包について】クリーニング後、以下の順に梱包いたします。1.OPP袋・ビニール袋2.緩衝材3.封筒・ダンボール【商品の保管について】ペットはおらず、喫煙もいたしません。保管には注意をはらいますが、素人によるもので完全とはいえません。あくまでいちど人手にわたったものである旨をご了承ください。【お取り置き／専用ページについて】商品の取り置きは一切いたしません。しかし次に該当する場合は、専用ページを作成いたします。・まとめ買い（注意）専用ページ作成から2日経過してもご購入いただけない場合、専用ページを取り消します。【商品説明】実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。※Amazon.co.jpより引用#裁断済み#コンピュータ#IT#システム開発#組込みシステム#教科書#参考書

カテゴリー:	本・雑誌・漫画>>>本>>>コンピュータ・IT
商品の状態:	やや傷や汚れあり
配送料の負担:	送料込み(出品者負担)
配送の方法:	佐川急便/日本郵便
発送元の地域:	新潟県
発送までの日数:	2~3日で発送