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

《出品：2021-07-23》

＊注意＊
・本書は「裁断」されており、ページが一枚ずつバラバラの状態でございます。通常の読書には適しません
・単品での値下げは一切いたしません。複数冊ご購入いただく場合は値引きをいたします（詳細はプロフィールに記載）
・プロフィールの記載を必ずご確認ください

上記をご了承のうえ、ご購入ください。


【商品の状態・備考】
・ページふちに薄ヤケあり
・ジャケットと帯に軽微な傷あり
・そのほか目立った傷や汚れなし


【配送・発送について】
ゆうゆうメルカリ便、もしくはらくらくメルカリ便で発送いたします。


【梱包について】
クリーニング後、以下の順に梱包いたします。
1.OPP袋・ビニール袋
2.緩衝材
3.封筒・ダンボール


【商品の保管について】
ペットはおらず、喫煙もいたしません。
保管には注意をはらいますが、素人によるもので完全とはいえません。あくまでいちど人手にわたったものである旨をご了承ください。


【お取り置き／専用ページについて】
商品の取り置きは一切いたしません。しかし次に該当する場合は、専用ページを作成いたします。

・まとめ買い

（注意）専用ページ作成から2日経過してもご購入いただけない場合、専用ページを取り消します。


【商品説明】
実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。

※Amazon.co.jpより引用


#裁断済み
#コンピュータ
#IT
#システム開発
#組込みシステム
#教科書
#参考書
商品の情報
カテゴリー
本・雑誌・漫画 > 本 > コンピュータ・IT
商品の状態
やや傷や汚れあり
840円【裁断済み】UPPAALによる性能モデル検証 -リアルタイムシステムのモデル化…本・雑誌・漫画本"x-raw-image:///4b47752d162f1000c849a9053bf1129e2c5bf7294d0ab3308561f82d46bda7db","x-raw-image:///7913238806b157cc1ad3964f3f6b7d55b89da34dcb55a5498adc73b6db0e5226","","",""
1) 学習・教育目標（基準１および分野別要件で要求される知識・能力）


Unaltd





1) 学習・教育目標（基準１および分野別要件で要求される知識・能力）


Unaltd