close
カテゴリ
BOOKOFF公式サイト 店舗検索 買取はこちら
 

1,800円以上の注文で送料無料

【クリアランスセール】中古販売価格から最大50％OFF 約8万点がセール対象！3月2日（日）まで 【クリアランスセール】中古販売価格から最大50％OFF 約8万点がセール対象！3月2日（日）まで
  1. トップ
  2. 書籍
  3. 情報・通信・コンピュータ
  4. ソフトウェア
  5. VDM++によるオブジェクト指向システムの高品質設計と検証仕様の品質を飛躍的に高める手法
VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法
  • 中古
  • 書籍
  • 書籍
  • 1211-06-00

VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法

ジョンフィッツジェラルド, ピーター・ゴルムラーセン, ポールマッカージー, ニコプラット, マーセルバーホフ【著】, 酒匂寛【訳】

1件

追加する に追加する

VDM++によるオブジェクト指向システムの高品質設計と検証 仕様の品質を飛躍的に高める手法
中古 新品

定価 ¥6,028

2,475円 定価より3,553円（58%）おトク

獲得ポイント22P

残り1点 ご注文はお早めに

発送時期 1～5日以内に発送

値下げのお知らせを受け取る

商品詳細

内容紹介
販売会社／発売会社 翔泳社
発売年月日 2010/08/02

改訂版・発行年月日について

JAN 9784798119618

VDM++によるオブジェクト指向システムの高品質設計と検証

¥2,475

残り1点
ご注文はお早めに

カートに追加するカートにいれる

商品レビュー

5

1件のお客様レビュー

レビューを投稿

2012/03/18
  • ネタバレ

※このレビューにはネタバレを含みます

表示する

VDMの敷居が高いと感じていましたが、本書で敷居がいっきに半分になりました。 第３章のRoseとの連携 第９章のUnitTestとの連携 第１４章のJAVAで実装する これらが、道具の根幹だと思います。 図での設計 試験仕様の生成 実際に動かす ３つの要素が分かるので、本書を読む勇気がでます。 翻訳された酒匂さんはEffelの訳者でもあるので、 抽象データ型の本質を分かっているので訳も読みやすいです。

Posted by ブクログ

すべてのレビューを見る

関連ワードから探す

お手持ちのスマホで確認する

お手持ちのスマホでスキャン

お近くのスタッフに、表示されたスマホ画面を
みせていただければ商品をお探しいたします。
close
close
ブックオフナビをご利用いただき ありがとうございます
お近くのスタッフにこの商品詳細画面をお見せください。400万点の在庫の中から商品をお探しいたします。
※画面に表示されている価格はお取り寄せ時の価格となります。