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

資料種別:
電子ブック
責任表示:
磯部祥尚著
言語:
日本語
出版情報:
近代科学社, 2012.12
形態:
1オンラインリソース ; 24cm
著者名:
シリーズ名:
トップエスイー実践講座 ;
書誌ID:
RB00781010
ISBN:
9784764971578 [4764971577] (: electronic bk)  CiNii Books  Webcat Plus  Google Books
9783000052408 [3000052403]  CiNii Books  Webcat Plus  Google Books
eリソース
Loading
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Roestenburg, Raymond, Bakker, Rob, Williams, Rob, 前出, 祐吾, 根来, 和輝, 釘屋, 二郎, TIS

翔泳社

大須賀 昭彦, 長谷川 哲夫, 田原 康之, 磯部 祥尚

近代科学社

Cox-Buday, Katherine, 山口, 能迪

オライリー・ジャパン, オーム社 (発売)

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

共立出版

Herlihy, Maurice, Shavit, Nir, クイープ

アスキー・メディアワークス, 角川グループパブリッシング (発売)

松永, 俊雄, 中村, 太一(コンピュータ), 亀田, 弘之

オーム社

Breshears, Clay, 千住, 治郎

オライリー・ジャパン, オーム社 (発売)

曽和, 俊文(1951-)

有斐閣

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

ソフトバンククリエイティブ

小林, 優

技術評論社