yomitech
Qiitaで紹介された技術書を、毎週月曜日にメールでお届けします。
登録確認メールをお送りします。いつでも配信停止できます。
バックナンバー
「形式的モデル化」の検索結果: 1冊
形式的モデル化
ソフトウェアが正しく設計されているかを保証するための手法として，システムを数学的に厳密なモデルで記述し，仕様が満たされているかどうかを数理的に調べる，「形式検証」が注目されている． 本書では，モデル検査に代表されるように，現実のシステムにも適用可能になってきた形式検証を理解し，使いこなすための理論的背景について解説する． 離散事象システム，実時間システム，ハイブリッドシステムなど，さまざ...
クラウドが好きな大学生が読んで良さげだった本を紹介する
前提 大学1年の終わり頃にプログラミング学習を始めて、ちょうど3年弱くらい経ちました。 数え切れないほどの技術書を読んできましたが、その中でも「これはよかったような気がする！」という書籍を載せておきます。 選出の観点は「面白さ」「わかりやすさ」「その知識が役に立ったか」の３つの観点から総合的に評価しています。 また、原則翻訳されたものがあればそちらを掲載しています。