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

Author(s)

Bibliographic Information

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

赤間世紀著

（I/O books）

工学社, 2012.11

Other Title

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

Title Transcription

ケイシキ シュホウ キョウカショ : ロンリガク オ モチイタ ソフト コウガク エノ スウガクテキ アプローチ

Available at  / 28 libraries

Note

参考文献: p217-219

Description and Table of Contents

Description

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

Table of Contents

  • 第１章　序論
  • 第２章　古典論理
  • 第３章　非古典論理
  • 第４章　「時相論理」と「ダイナミック・ロジック」
  • 第５章　仕様記述言語「Ｚ」
  • 第６章　形式手法の課題

by "BOOK database"

Related Books： 1-1 of 1

  • I/O books

    工学社 1979.10-

    Available at 1 libraries

Details

  • NCID
    BB10933063
  • ISBN
    • 9784777517237
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    223p
  • Size
    21cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top