せーるへっどらいん
kindleのセール情報を独自のランキング順に紹介しています。黄色はそろそろセール終了、赤色はセール終了間際です。

「VDM++による形式仕様記述:形式仕様入門・活用の第一歩 トップエスイー実践講座」セール一覧

セール中

著者:石川 冬樹 ASIN:B07BMGXXSG 出版社:近代科学社 出版年月日:2018-03-23 セールスランク:31361 ページ数:ページ 概要:※この商品は固定レイアウトで作成されており、タブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字列のハイライトや検索、辞書の参照、引用などの機能が使用できません。購入前にお使いの端末で無料サンプルをお試しください。明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない! ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++につ...

類似セール書籍

セール開催履歴

2019年以降にセール書籍として取得できたもののみ表示しております。これ以外にもセール書籍としてピックアップされている可能性があります。
当サイトでは万全を期しておりますが、セール対象でない書籍やテーマにそぐわない書籍がピックアップされてしまう可能性がございます。 ご購入の際はタイトル・内容と共に必ず価格や付与ポイントをご確認ください。>>免責事項等詳細