携帯からの方は、
こちら
からアクセスください。
新刊.net
トップ
ユーザー登録
ログイン
ヘルプ
並行システムの検証と実装:形式手法CSPに基づく高信頼並行システム開発入門 トップエスイー実践講座
イメージを拡大
発売日:
2018年3月23日
金曜日 - 発売中
新刊発見日: 2018年03月24日
(2025年07月16日 05時32分 JST時点 -
詳細はこちら
)
Amazon で購入する
磯部 祥尚
/
本位田 真一
/
東野 輝夫
近代科学社
ASIN: B07BML7NWG
Kindle版
単行本
並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)
新刊チェックキーワード
形式手法
2 users
形式手法
1 user
[広告]
他のショップで探す
電子版を探す
[広告]
新刊.net からのお知らせ
ツイート
新刊.netとは
お知らせ
お問い合わせ
利用規約
ヘルプ
Copyright (C) 2007-2025,
rukari.com.
Powered By
Ethna
-2.5.0.