Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
磯部尚
View more
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
1875年生
1935年没
在職中に死去した衆議院議員 (帝国議会)
大正時代の衆議院議員
新潟県立長岡高等学校出身の人物
日本の弁護士
旧制第一高等学校出身の人物
昭和時代戦前の衆議院議員
本所区会議員
東京大学出身の人物
東京市会議員
東京府選出の衆議院議員 (帝国議会)
福井市出身の人物
Share
Twitter
Trends
trends timeline
Languages
磯部尚
Related
磯部四郎
磯部勉
相馬市
特選神名牒
Similar
浅賀長兵衛
秋乕太郎
麻生久
伊藤武七郎
大神田軍治
View More
JapaneseClass.jp
Travel
Japan Hotels