携帯からの方は、
こちら
からアクセスください。
新刊.net
トップ
ユーザー登録
ログイン
ヘルプ
Event-B : リファインメント・モデリングに基づく形式手法
イメージを拡大
発売日:
2016年4月28日
木曜日 - 発売中
新刊発見日: 2016年04月29日
(2024年06月09日 02時39分 JST時点 -
詳細はこちら
)
Amazon で購入する
來間 啓伸 中島 震
近代科学社
ASIN: B01EWII2QO
Kindle版
単行本
Event-B: リファインメント・モデリングに基づく形式手法
新刊チェックキーワード
システム開発
4 users
ソフトウェアテスト
4 users
ソフトウェア
3 users
形式手法
2 users
システム監査
1 user
システムモデリング
1 user
システム設計
1 user
イベント
1 user
形式手法
1 user
ソフトウェア開発
1 user
もっとみる...
[広告]
他のショップで探す
電子版を探す
[広告]
新刊.net からのお知らせ
ツイート
新刊.netとは
お知らせ
お問い合わせ
利用規約
ヘルプ
Copyright (C) 2007-2024,
rukari.com.
Powered By
Ethna
-2.5.0.