ISBNコード 9784764904316
UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 /近代科学社/長谷川哲夫
商品基本情報
商品イメージ | |
---|---|
価格調査 | ※各サイトの検索結果ページが表示されます。 |
一括価格調査 | 一括価格調査ツールで検索 |
コード番号 | 9784764904316 |
コードタイプ | ISBN |
JANシンボル | |
商品名 | UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 /近代科学社/長谷川哲夫 |
品番/型番 | 9784764904316 |
会社名 | 近代科学社 |
会社名カナ | キンダイカガクシヤ |
発売日 | 2012年09月 |
商品ジャンル | 本・雑誌・コミック > PC・システム開発 > その他 |
広告 |
商品詳細情報
書名カナ | ウパール ニ ヨル セイノウ モデル ケンショウ リアル タイム システム ノ モデルカ ト ソノ ケンショウ |
---|---|
著者名 | 長谷川哲夫、田原康之 |
著者名カナ | ハセガワ,テツオ、タハラ,ヤスユキ |
シリーズ名 | トップエスイ-実践講座 |
シリーズ名カナ | トップ エスイー ジッセン コウザ |
発行者 | 近代科学社 |
発行者カナ | キンダイカガクシヤ |
ページ数 | 183p |
サイズ | 24 |
広告 |