|
|
|
-
並行システムの検証と実装
-
トップエスイー実践講座
-
書籍
-
東野輝夫 /
磯部祥尚
-
近代科学社
-
2012年12月発売 /
【メーカー取寄】3～20日で発送予定
-
-
5,060円
-
Vポイント：23pt
-
-
|
|
|
|
-
UPPAALによる性能モデル検証
-
トップエスイー実践講座
-
書籍
-
長谷川哲夫 /
大須賀昭彦
-
近代科学社
-
2012年9月発売 /
在庫なし
-
-
4,180円
-
Vポイント：19pt
-
-
|
|
|
|
-
ソフトウェア科学基礎
-
トップエスイー基礎講座
-
書籍
-
田中譲 /
磯部祥尚
-
近代科学社
-
2008年9月発売 /
在庫なし
-
-
4,180円
-
Vポイント：19pt
-
-
|
JASRAC許諾番号 ：9036850001Y45040