リアルタイムシステム

Meaning

Translations

Shopping

• 

  UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証【電子書籍】[ 長谷川 哲夫 ]

  4,180円

  …
• 

  【中古】リアルタイムシステムとその応用/朝倉書店/白川洋充（単行本）

  1,409円

  ◆◆◆おおむね良好な状態です。中古商品のため使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 白川洋充、竹垣盛一 出版社名 朝倉書店 発売日 2001年09月01日 ISBN 9784254209426
• 

  【中古】 シュレイアー・メラー法によるオブジェクト・モデリング リアルタイムシステムの静解析法 / レオン スター, Leon Starr, Shlaer‐Mellor研究会 / 桐原書店 [単行本]【ネコポス発送】

  5,044円

  著者：レオン スター, Leon Starr, Shlaer‐Mellor研究会出版社：桐原書店サイズ：単行本ISBN-10：4894710366ISBN-13：9784894710368■こちらの商品もオススメです ● コーディネートテクニック アパレル編　2 / 文化出版局 [大型本] ●…
• 

  【中古】リアルタイムシステム実現のための自律オブジェクト指向 生産性・品質の向上を図るためのソフトウェア開発手法/CQ出版/岩橋正実（単行本）

  1,125円

  ◆◆◆表紙に日焼けがあります。迅速・丁寧な発送を心がけております。【毎日発送】 商品状態 著者名 岩橋正実 出版社名 CQ出版 発売日 2002年04月01日 ISBN 9784789833233
• 

  【中古】 シュレイアー・メラー法によるオブジェクト・モデリング リアルタイムシステムの静解析法 / レオン スター, Leon Starr, Shlaer‐Mellor研究会 / 桐原書店 [単行本]【宅配便出荷】

  4,994円

  著者：レオン スター, Leon Starr, Shlaer‐Mellor研究会出版社：桐原書店サイズ：単行本ISBN-10：4894710366ISBN-13：9784894710368■こちらの商品もオススメです ● コーディネートテクニック アパレル編　2 / 文化出版局 [大型本] ●…
• 

  【中古】 シュレイアー・メラー法によるオブジェクト・モデリング リアルタイムシステムの静解析法 / レオン スター, Leon Starr, Shlaer / [単行本]【メール便送料無料】【最短翌日配達対応】

  5,044円

  著者：レオン スター, Leon Starr, Shlaer‐Mellor研究会出版社：桐原書店サイズ：単行本ISBN-10：4894710366ISBN-13：9784894710368■こちらの商品もオススメです ● コーディネートテクニック アパレル編　2 / 文化出版局 [大型本] ●…
• 

  UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証[本/雑誌] (トップエスイー実践講座) (単行本・ムック) / 大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著

  4,180円

  ご注文前に必ずご確認ください＜商品説明＞実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。＜収録内容＞第1章 UPPAALを使ってみよう第2章…