Error-free software : know-how and know-why of program correctness
著者
書誌事項
Error-free software : know-how and know-why of program correctness
(Wiley series in software engineering practice)(Wiley professional computing)
Wiley, c1991
- タイトル別名
-
Fehlerfreie Programmierung für den Software-Zauberlehrling
- 統一タイトル
-
Fehlerfreie Programmierung für den Software-Zauberlehrling
大学図書館所蔵 件 / 全6件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Translation of: Fehlerfreie Programmierung für den Software-Zauberlehrling
Includes bibliographical references (p. [149]-150) and index
内容説明・目次
内容説明
Pressure to produce good quality software within budget leaves little scope to explore the theory and potential of formal development methods. This introduction to the creation and development of software aims to demonstrate various advantages to be gained by using certain techniques. All techniques described are based on mathematical foundations, and a basic knowledge of algebra and programming is assumed. The book is designed as a self-study text, and contains many examples and exercises.
「Nielsen BookData」 より