新刊発売時に通知する
他の作品を検索
最新刊
並行システムの検証と実装
(2018/03/23)並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
その他の本1
1
この著者の作品2
2
注目の新刊予報4
4
アンデッドアンラック
(戸塚慶文 / 集英社)アンデッドアンラック 26(2025年04月04日)
次巻の発売日:6月4日 ~ 7月4日
葬送のフリーレン
(山田鐘人/アベツカサ / 小学館)葬送のフリーレン(14)(2025年03月18日)
次巻の発売日:7月18日 ~ 2026年2月18日
ドラゴンクエスト ダイの大冒険 勇者アバンと獄炎の魔王
(三条陸/芝田優作 / 集英社)ドラゴンクエスト ダイの大冒険 勇者アバンと獄炎の魔王 12(2025年04月04日)
次巻の発売日:8月4日 ~ 11月4日
人気の作品8
8