磯部尚

Shopping

• 

  並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 （トップエスイー実践講座） [ 磯部祥尚 ]

  5,060円

  形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座 磯部祥尚 東野輝夫 近代科学社BKSCPN_【高額商品】 ヘイコウ システム ノ ケンショウ ト ジッソウ イソベ,ヨシナオ ヒガシノ,テルオ 発行年月：2012年12月 ページ数：361p サイズ：全集・双書…
• 

  並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門【電子書籍】[ 磯部 祥尚 ]

  5,060円

  ＜p＞並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。…
• 

  ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎【電子書籍】[ 磯部 祥尚 ]

  4,180円

  …
• 

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

  4,180円

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

  並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門[本/雑誌] (トップエスイー実践講座) (単行本・ムック) / 東野輝夫/監修 磯部祥尚/著

  5,060円

  ご注文前に必ずご確認ください＜商品説明＞この一冊で、並行プログラミングの基礎理論、検証技術、実装手法が分かる。並行システムのCSPによるモデル化技術、モデル検証器FDRによる検証技術、JavaライブラリJCSPによる実装手法を詳細に解説。＜収録内容＞第1章 CSP、FDR、JCSP概論第2章…
• 

  並行システムの検証と実装　形式手法CSPに基づく高信頼並行システム開発入門　東野輝夫/監修　磯部祥尚/著

  5,060円

  …
• 

  並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門／東野輝夫／磯部祥尚【1000円以上送料無料】

  5,060円

  著者東野輝夫(監修) 磯部祥尚(著)出版社近代科学社発売日2012年12月ISBN9784764904354ページ数361Pキーワードへいこうしすてむのけんしようとじつそうけいしき ヘイコウシステムノケンシヨウトジツソウケイシキ ひがしの てるお いそべ よし ヒガシノ テルオ イソベ…
• 

  並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門／東野輝夫／磯部祥尚【3000円以上送料無料】

  5,060円

  著者東野輝夫(監修) 磯部祥尚(著)出版社近代科学社発売日2012年12月ISBN9784764904354ページ数361Pキーワードへいこうしすてむのけんしようとじつそうけいしき ヘイコウシステムノケンシヨウトジツソウケイシキ ひがしの てるお いそべ よし ヒガシノ テルオ イソベ…
• 

  【送料無料】並行システムの検証と実装　形式手法CSPに基づく高信頼並行システム開発入門／東野輝夫／監修　磯部祥尚／著

  5,060円

  トップエスイー実践講座　6 近代科学社 プログラミング（コンピュータ）　並列処理（コンピュータ） 361P　24cm…
• 

  並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座 / 磯部祥尚 【全集・双書】

  5,060円

  …
• 

  【中古】 ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎 トップエスイー基礎講座1／田中譲【監修】，磯部祥尚，粂野文洋，櫻庭健年，田口研治，田原康之【著】

  2,117円

  田中譲【監修】，磯部祥尚，粂野文洋，櫻庭健年，田口研治，田原康之【著】販売会社/発売会社：近代科学社発売年月日：2008/09/30JAN：9784764903555

Dictionary

• 　
  磯部

  いそべ
  Isobe
  0
• 尚

  なお
  furthermore / still / yet / more / still more / in addition / greater / further
  0

Tags