Introduction to formal specification and Z
著者
書誌事項
Introduction to formal specification and Z
(Prentice-Hall International series in computer science)
Prentice Hall, 1996
2nd ed
- pbk.
大学図書館所蔵 全13件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.
目次
Introduction.
Formal Specification within Software Engineering.
An informal introduction to Logic and Set Theory.
The Z Notation: Mathematical Language.
The Z Notation: Relations and Functions.
The Z Notation:Schemas and Specification Structure.
A First Specification.Formal Reasoning.
From Specification to Program.
From Theory to Practice.
Appendices.
Bibliography.
Index.
「Nielsen BookData」 より