ついて買い物かごを見る買い物かごカートに商品がありません。OUT※本体価格は変更される場合があります。※通常2〜3日以内で発送いたします。この商品について問い合わせる合計5000円(税別)以上のご注文の場合、配送料は無料となります。本書は、情報関連の大学学部学生およびソフトウェア技術者を対象に、高品質のソフトウェアを効率よく開発するための、プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述を解説した。ソフトウェア開発におけるいわゆる形式手法の入門書である。