形式手法入門

取り寄せ不可

複雑な構造を数理理論に基づく論理構造で構築する形式手法を用いることによって、曖昧さのないプログラム記述が可能になる。本書では、その形式手法について、基礎から実務レベルのプログラミングまでを解説する。

お気に入りカテゴリ

よく利用するジャンルを設定できます。

カテゴリ

「+」ボタンからジャンル（検索条件）を絞って検索してください。
表示の並び替えができます。