形式手法教科書 : 「論理学」を用いた、「ソフト工学」への数学的アプローチ

赤間世紀 著 ; I O編集部 編集

「形式手法」の基礎をできるだけ分かりやすく解説するため、まず理論的基礎である「古典論理」と「様相論理」を説明してから、「形式手法」に使われているさまざまな「非古典論理」と「仕様記述言語」を紹介。「ソフト開発者」に必須の知識を、一般的な「プログラマー」にもわかりやすく解説。

「BOOKデータベース」より

[目次]

  • 第1章 序論
  • 第2章 古典論理
  • 第3章 非古典論理
  • 第4章 「時相論理」と「ダイナミック・ロジック」
  • 第5章 仕様記述言語「Z」
  • 第6章 形式手法の課題

「BOOKデータベース」より

この本の情報

書名 形式手法教科書 : 「論理学」を用いた、「ソフト工学」への数学的アプローチ
著作者等 工学社
赤間 世紀
書名ヨミ ケイシキ シュホウ キョウカショ : ロンリガク オ モチイタ ソフト コウガク エノ スウガクテキ アプローチ
シリーズ名 I/O BOOKS
出版元 工学社
刊行年月 2012.11
ページ数 223p
大きさ 21cm
ISBN 978-4-7775-1723-7
NCID BB10933063
※クリックでCiNii Booksを表示
全国書誌番号
22170349
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想