『並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） [電子書籍]Ω』はヤフオクでkJ-000d996108から04月15日 02時 04分に出品され04月15日 02時 04分に終了予定です。即決価格は3,947円に設定されています。現在190件の入札があります。決済方法はYahoo!かんたん決済に対応。大阪府からの発送料は落札者が負担します。ＰＲオプションはYahoo!かんたん決済、取りナビ(ベータ版)を利用したオークション、即買でした。
並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。目次第1章 CSP, FDR, JCSP概論第2章 CSP入門第3章 FDR入門第4章 JCSP入門第5章 CSP理論（動作表現）第6章 CSP理論（動作解析）第7章 FDR検証第8章 JCSP実装第9章 CSP, FDR, JCSP応用第10章 CSP, FDR, JCSP実践付録A インストール方法付録B 演習問題解答商品の注意点この商品は固定レイアウトで作成されており、タブレットなど大きいディスプレイを備えた端末で読むことに適しています。購入前にお使いの端末で無料サンプルをお試しください。
![並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） [電子書籍]Ω](https://image.yodobashi.com/product/100/000/086/600/915/122/100000086600915122_10204.jpg)
- カテゴリ
- タグ
-
- 並行システムの検証と実装
- 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社）
- [電子書籍]Ω
セカイモン販売中の類似商品
-
JavaScript コードレシピ集（技術評論社） [電子書籍]Ω
¥ 2557
-
C言語プログラミングレッスン 入門編 第3版（SBクリエイティブ） [電子書籍]Ω
¥ 2042
-
IDLプログラミング入門―基本概念から3次元グラフィックス作成まで―（講談社） [電子書籍]Ω
¥ 6006
-
ゼロからわかる Ruby 超入門（技術評論社） [電子書籍]Ω
¥ 2128
-
JavaScript逆引きレシピ 第2版（翔泳社） [電子書籍]Ω
¥ 2402
-
たった1日で基本が身に付く！ C言語 超入門（技術評論社） [電子書籍]Ω
¥ 1767
-
つくりながら学ぶ！深層強化学習 PyTorchによる実践プログラミング（マイナビ出版） [電子書籍]Ω
¥ 2814
-
Atomic Design ～堅牢で使いやすいUIを効率良く設計する（技術評論社） [電子書籍]Ω
¥ 2557
-
C言語による PICプログラミング大全 （技術評論社） [電子書籍]Ω
¥ 2746
-
改訂新版 C言語による標準アルゴリズム事典（技術評論社） [電子書籍]Ω
¥ 2145
-
C言語本格入門 ～基礎知識からコンピュータの本質まで（技術評論社） [電子書籍]Ω
¥ 2557
-
人工知能プログラミングのための数学がわかる本（KADOKAWA） [電子書籍]Ω
¥ 2145
-
ホームページ辞典 第6版 HTML・CSS・JavaScript（翔泳社） [電子書籍]Ω
¥ 1716
-
JavaScript 1年生 体験してわかる！会話でまなべる！プログラミングのしくみ（翔泳社） [電子書籍]Ω
¥ 1699
-
プリンシプル オブ プログラミング 3年目までに身につけたい 一生役立つ101の原理原則（秀和システム） [電子書籍]Ω
¥ 1699
-
プロとしてのOracle運用管理入門（SBクリエイティブ） [電子書籍]Ω
¥ 2299
-
徹底マスター JavaScriptの教科書（SBクリエイティブ） [電子書籍]Ω
¥ 2557
-
エンタープライズアプリケーションアーキテクチャパターン（翔泳社） [電子書籍]Ω
¥ 4976
入札件数
190 入札履歴
残り時間
終了
- 落札情報
- 出品者情報
- 落札価格
- 3947円
- 開始価格
- 3947円
- 即決価格
- 3947円
- 入札単位
- 100円
- 商品状態
- 新品、未使用
- 個数
- 1
- 開始日時
- 2025.02.24 3:27
- 終了日時
- 2025.04.15 16:52
- 自動延長
- なし
- 早期終了
- なし
- 入札者評価制限
- あり
- 入札者認証制限
- あり
支払い・配送方法
- 支払い方法
-
- 送料負担
- 落札者
- 発送元
- 大阪府
- 海外発送
- 対応しません
- 発送方法
- -
商品説明
こちらの商品をお気に入り登録しませんか？
オークファンの無料会員に登録すれば
一度検索した商品をお気に入り登録可能。
マイブックマーク機能で
いつでもすぐに登録した商品を
見返すことができます。
既に会員の方はこちらからログインをお願いいたします
会員登録で同じ商品を出品！
「同じ商品を出品する」機能のご利用には
オークファン会員登録が必要です。
入札予約
最大10年分の相場を簡単検索！
価格を表示するには、
オークファンプレミアム（月額8,800円/税込）の登録が必要です。
まずはお試し！！初月無料で過去の落札相場を確認！
- ※クレジットカードのみ初月無料の対象となります。
-
※登録月が無料となり、登録月の翌月より料金が発生します。
初月無料対象月内に利用再開を行った場合、初月無料の対象外となります。
期間おまとめ検索とは？
オークションで稼ぐための人気機能！
「期間おまとめ検索」を使えば、複数月をまたいだ指定期間の相場検索が可能です。レアな商品の相場や過去の出品数をまとめて確認できます。
さらに、オークファンプレミアムに登録すると最大過去10年分の相場データが月1,200回まで閲覧可能です。
最大10年分の相場を簡単検索！
価格を表示するには、
オークファンプレミアム（月額2,200円/税込）の登録が必要です。
まずはお試し！！初月無料で過去の落札相場を確認！
- ※クレジットカードのみ初月無料の対象となります。
-
※登録月が無料となり、登録月の翌月より料金が発生します。
初月無料対象月内に利用再開を行った場合、初月無料の対象外となります。