- 中古
- 店舗受取可
- 書籍
- 書籍
- 1211-06-00
VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法
定価 ¥6,028
2,090円 定価より3,938円（65%）おトク
獲得ポイント19P
在庫わずか ご注文はお早めに
発送時期 1～5日以内に発送
店舗受取サービス対応商品【送料無料】
店舗到着予定：3/27(金)～4/1(水)
店舗受取サービス対応商品
店舗受取なら1点でも送料無料！
店舗到着予定
3/27(金)～4/1(水)
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | 翔泳社 |
| 発売年月日 | 2010/08/02 |
| JAN | 9784798119618 |
店舗受取サービス
対応商品
店舗受取なら1点でも送料無料！
さらにお買い物で使えるポイントがたまる
店舗到着予定
3/27(金)～4/1(水)
- 書籍
- 書籍
VDM++によるオブジェクト指向システムの高品質設計と検証
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
値下げ前価格について
本価格は現中古販売価格の「値下げ前価格」となります。
直近約1か月間、値下げ前価格での販売実績があるものだけ表示しております。
VDM++によるオブジェクト指向システムの高品質設計と検証
¥2,090
在庫わずか
ご注文はお早めに
商品レビュー
5
1件のお客様レビュー
- ネタバレ
※このレビューにはネタバレを含みます
VDMの敷居が高いと感じていましたが、本書で敷居がいっきに半分になりました。 第３章のRoseとの連携 第９章のUnitTestとの連携 第１４章のJAVAで実装する これらが、道具の根幹だと思います。 図での設計 試験仕様の生成 実際に動かす ３つの要素が分かるので、本書を読む勇気がでます。 翻訳された酒匂さんはEffelの訳者でもあるので、 抽象データ型の本質を分かっているので訳も読みやすいです。
Posted by 
お手持ちのスマホでスキャン