J-WAVE CD&BOOK ON LINE
■ UPPAALによる性能ﾓﾃﾞﾙ検証 ﾘｱﾙﾀｲﾑｼｽﾃﾑのﾓﾃﾞﾙ化とその検証 (ﾄｯﾌﾟｴｽｲｰ実践講座) (単行本･ﾑｯｸ)
■ 大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著
■ 著者･出版社
拡大する
本/雑誌
1 冊
2012/09
出荷: ﾒｰｶｰ在庫見込あり:1-3週間
価格: 4180円(税込)
送料無料選択可
 商品説明： 実時間ｼｽﾃﾑ開発向けﾓﾃﾞﾙ検査ﾂｰﾙの標準UPPAALの日本初の解説書。組込みｼｽﾃﾑの仕様や設計のﾓﾃﾞﾘﾝｸﾞと、機能や性能に関するﾓﾃﾞﾙ検査、開発ﾌﾟﾛｾｽの設計のための実用書。 ﾍﾟｰｼﾞ数:183
商品番号:NEOBK-1357850
ISBN:9784764904316
■ 著者･出版社
■ 目次
■ 本･雑誌･ｺﾐｯｸ購入時のご注意
同じｶﾃｺﾞﾘの人気･最新商品
女商品検索
令ﾍﾙﾌﾟ
TOP
J-WAVE CD&BOOK ONLINE
powerd by Neowing