>> Google Books
QRコード(所蔵情報)

並行システムの検証と実装 : 形式手法CSPに基づく高信頼並行システム開発入門

フォーマット:
図書
責任表示:
磯部祥尚著
言語:
日本語
出版情報:
東京 : 近代科学社, 2012.12
形態:
xix, 361p : 挿図 ; 24cm
著者名:
シリーズ名:
トップエスイー実践講座 ; 6 <BA84687793>
書誌ID:
BB11151767
ISBN:
9784764904354 [4764904357]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Linuxによる並行プログラミング入門

猪平, 栄一, 重松, 保弘(1947-)

共立出版
7 図書 JISに基づく機械システム設計便覧

機械システム設計便覧編集委員会

日本規格協会
2 図書 Java並行処理プログラミング : その「基盤」と「最新API」を究める

Goetz, Brian, 岩谷, 宏(1942-), Lea, Doug, Peierls, Tim, Bloch, Joshua, Bowbeer, Joseph, Holmes, David

ソフトバンククリエイティブ
8 図書 FPGAボードで学ぶ組込みシステム開発入門

小林, 優

技術評論社
3 図書 並列計算の数理とアルゴリズム

Magoulès, Frédéric, Roux, Françoise-Xavier, 桑原, 拓也

森北出版
9 図書 並行分散システム : オペレーティングシステム, データベース, 分散マルチメディアシステムへの統合的アプローチ

Bacon, Jean, 1942-, 藤田, 昭平(1942-), 篠田, 陽一, 今泉, 貴史

トッパン
4 図書 並列プログラミング入門 : サンプルプログラムで学ぶOpenMPとOpenACC

片桐, 孝洋

東京大学出版会
10 図書 システム開発 : JSD法

Jackson, M. A., 大野, 侚郎, 山崎, 利治

共立出版
5 図書 コンピュータシステム開発入門

松永, 俊雄, 中村, 太一(工学), 亀田, 弘之

オーム社
11 図書 並列計算法入門

樫山, 和男(1959-), 西村, 直志, 牛島, 省(1958-), 日本計算工学会

丸善
6 図書 行政法執行システムの法理論

曽和, 俊文(1951-)

有斐閣
12 図書 並列分散処理

谷口, 秀夫

コロナ社