ISBNコード 9784764904316

UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 /近代科学社/長谷川哲夫

商品基本情報

商品イメージ ISBN 9784764904316 UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証  /近代科学社/長谷川哲夫 近代科学社 本・雑誌・コミック 画像
価格調査

※各サイトの検索結果ページが表示されます。

一括価格調査 一括価格調査ツールで検索
コード番号 9784764904316
コードタイプ ISBN
JANシンボル
商品名 UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 /近代科学社/長谷川哲夫
品番/型番 9784764904316
会社名 近代科学社
会社名カナ キンダイカガクシヤ
発売日 2012年09月
商品ジャンル 本・雑誌・コミック > PC・システム開発 > その他
広告

商品詳細情報

書名カナ ウパール ニ ヨル セイノウ モデル ケンショウ リアル タイム システム ノ モデルカ ト ソノ ケンショウ
著者名 長谷川哲夫、田原康之
著者名カナ ハセガワ,テツオ、タハラ,ヤスユキ
シリーズ名 トップエスイ-実践講座
シリーズ名カナ トップ エスイー ジッセン コウザ
発行者 近代科学社
発行者カナ キンダイカガクシヤ
ページ数 183p
サイズ 24
広告