新刊発売時に通知する
他の作品を検索
最新刊
並行システムの検証と実装
(2018/03/23)並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
その他の本1
1
この著者の作品2
2
注目の新刊予報4
4
ドラフトキング
(クロマツテツロウ / 集英社)ドラフトキング 20(2024年11月19日)
次巻の発売日:2025年2月19日 ~ 2025年4月19日
ブルーロック
(金城宗幸/ノ村優介 / 講談社)ブルーロック(31)(2024年10月17日)
次巻の発売日:12月17日 ~ 2025年1月17日
ブルーピリオド
(山口つばさ / 講談社)ブルーピリオド(16)(2024年11月21日)
次巻の発売日:2025年3月21日 ~ 2025年11月21日
人気の作品8
8