読み込み中... loading....
本日配信開始の新刊

並行システムの検証と実装

並行システムの検証と実装
電子書籍版
価格 5060円(税込)
ポイント還元 50ポイント(1%)
対応端末
  • PCPC
  • iOSiOS
  • AndroidAndroid
ページ数
  • 386
販売開始日 2020/02/14
紙書籍版 取り扱い中

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論(プロセス代数)であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。

本位田真一関連作品

近代科学社関連作品

「プログラミング一般」カテゴリ