Mendeley出力
トップ エスイー ジッセン コウザ
トップエスイー実践講座
| データ種別 | 図書 |
|---|---|
| 著者標目 | 本位田, 真一(1953-) <ホンイデン, シンイチ> |
| 出版情報 | 東京 : 近代科学社 |
子書誌情報を非表示
| 1 | 5 UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 / 長谷川哲夫, 田原康之, 磯部祥尚著 東京 : 近代科学社 , 2012.9 |
書誌詳細を非表示
| 大きさ | 冊 ; 24cm |
|---|---|
| 本文言語 | und |
| 一般注記 | シリーズ監修: 本位田真一 |
| 書誌ID | 1000208812 |
| NCID | BA84687793 |