Tweet
並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門（トップエスイー実践講座6）
5,060円
2,530円
(2,300円+税)
《特価》
並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。
リンク用タグ生成
ブログ等に掲載するためのリンク用タグです。それぞれの使い方に応じて貼り付けてください。
※出力するタグは変更することがあります。
※書籍詳細用のタグはamazletに準拠しています。
※アフィリエイト等は今のところついておりません。ご了承ください。
書籍詳細用
本位田 真一, 東野 輝夫(監修), 磯部 祥尚(著)
近代科学社
発行日: 2018-03-23
対応フォーマット: PDF, EPUB
近代科学社
発行日: 2018-03-23
対応フォーマット: PDF, EPUB
テキストリンク用
並行システムの検証と実装：形式手法CSPに基づく高信頼並行システム開発入門（トップエスイー実践講座6）
画像リンク用