近刊検索 デルタ

201212

近代科学社

出版社名ヨミ:キンダイカガクシャ

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

トップエスイー実践講座
トップエスイー実践講座

東野,輝夫,1956- 磯部,祥尚 本位田,真一,1953-

定価:5,060円(4,600円+税)

判型:

openbd

このエントリーをはてなブックマークに追加
著者略歴
東野, 輝夫, 1956-(ヒガシノ, テルオ higashino, teruo)
磯部, 祥尚(イソベ, ヨシナオ isobe, yoshinao)
本位田, 真一, 1953-(ホンイデン, シンイチ honiden, shinichi)
タイトルヨミ
カナ:ヘイコウ システム ノ ケンショウ ト ジッソウ : ケイシキ シュホウ シーエスピー ニ モトズク コウシンライ ヘイコウ システム カイハツ ニュウモン
ローマ字:heikou shisutemu no kenshou to jissou : keishiki shuhou shiiesupii ni motozuku koushinrai heikou shisutemu kaihatsu nyuumon

※近刊検索デルタの書誌情報はopenBDのAPIを使用しています。

-- 広告 -- AD --

【AD】
今、注目すべき第三書館の本
シネシネナンデダ日記
本物の狂気はあんまり格好よくないです(著者)

-- 広告 -- AD --

もうすぐ発売(1週間以内)

※近刊検索デルタの書誌情報はopenBDのAPIを利用しています。