【裁断済み】UPPAALによる性能モデル検証 -リアルタイムシステムのモデル化…
商品の説明
《出品:2021-07-23》
*注意*
・本書は「裁断」されており、ページが一枚ずつバラバラの状態でございます。通常の読書には適しません
・単品での値下げは一切いたしません。複数冊ご購入いただく場合は値引きをいたします(詳細はプロフィールに記載)
・プロフィールの記載を必ずご確認ください
上記をご了承のうえ、ご購入ください。
【商品の状態・備考】
・ページふちに薄ヤケあり
・ジャケットと帯に軽微な傷あり
・そのほか目立った傷や汚れなし
【配送・発送について】
ゆうゆうメルカリ便、もしくはらくらくメルカリ便で発送いたします。
【梱包について】
クリーニング後、以下の順に梱包いたします。
1.OPP袋・ビニール袋
2.緩衝材
3.封筒・ダンボール
【商品の保管について】
ペットはおらず、喫煙もいたしません。
保管には注意をはらいますが、素人によるもので完全とはいえません。あくまでいちど人手にわたったものである旨をご了承ください。
【お取り置き/専用ページについて】
商品の取り置きは一切いたしません。しかし次に該当する場合は、専用ページを作成いたします。
・まとめ買い
(注意)専用ページ作成から2日経過してもご購入いただけない場合、専用ページを取り消します。
【商品説明】
実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
※Amazon.co.jpより引用
#裁断済み
#コンピュータ
#IT
#システム開発
#組込みシステム
#教科書
#参考書商品の情報
カテゴリー | 本・雑誌・漫画 > 本 > コンピュータ・IT |
---|---|
商品の状態 | やや傷や汚れあり |
1) 学習・教育目標(基準1および分野別要件で要求される知識・能力)
Unaltd
1) 学習・教育目標(基準1および分野別要件で要求される知識・能力)
Unaltd
商品の情報
メルカリ安心への取り組み
お金は事務局に支払われ、評価後に振り込まれます
出品者
スピード発送
この出品者は平均24時間以内に発送しています