201212
近代科学社
出版社名ヨミ:キンダイカガクシャ
並行システムの検証と実装 = Verification and Implementation of Concurrent Systems : 形式手法CSPに基づく高信頼並行システム開発入門
トップエスイー実践講座
トップエスイー実践講座
東野,輝夫,1956- 磯部,祥尚 本位田,真一,1953-
( )
定価:5,060円(4,600円+税)
判型:
電子書籍をチェック
書店在庫をチェック
著者略歴
東野, 輝夫, 1956-(ヒガシノ, テルオ higashino, teruo)
磯部, 祥尚(イソベ, ヨシナオ isobe, yoshinao)
本位田, 真一, 1953-(ホンイデン, シンイチ honiden, shinichi)
タイトルヨミ
カナ:ヘイコウ システム ノ ケンショウ ト ジッソウ : ケイシキ シュホウ シーエスピー ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン
ローマ字:heikou shisutemu no kenshou to jissou : keishiki shuhou shiiesupii ni motozuku koushinrai heikou shisutemu kaihatsu nyuumon