■ISBN：9784764904354★日時指定をお受けできない商品になります商品情報商品名並行システムの検証と実装　形式手法CSPに基づく高信頼並行システム開発入門　東野輝夫/監修　磯部祥尚/著フリガナヘイコウ　システム　ノ　ケンシヨウ　ト　ジツソウ　ケイシキ　シユホウ　シ−エスピ−　ニ　モトズク　コウシンライ　ヘイコウ　システム　カイハツ　ニユウモン　トツプ　エスイ−　ジツセン　コウザ　6著者名東野輝夫/監修　磯部祥尚/著出版年月201212出版社近代科学社大きさ361P　24cm