Mendeley出力
＜図書＞
Specification of abstract data types
| 責任表示 | Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf |
|---|---|
| データ種別 | 図書 |
| 出版情報 | Chichester ; New York : Wiley Stuttgart : B.G. Teubner , c1996 |
| 本文言語 | 英語 |
| 大きさ | xi, 260 p. ; 25 cm |
| 概要 | Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this boo... does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. After an informal discussion on the design of reliable software, the book presents the main notions and properties of algebras. Next it investigates logic, introducing a general notion of logic, encompassing those commonly used. On the basis of these fundamentals it describes in some detail three specification methods and the principles of specification languages. It concludes with a case study illustrating the use of abstract data type specification in software design. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: Wiley | 理系図3F 数理独自 | LOEC/10/2 | 1996 |
|
023211997005016 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Loeckx, Jacques, 1931- Ehrich, Hans-Dieter Wolf, Markus |
| 件 名 | LCSH:Abstract data types (Computer science) |
| 分 類 | LCC:QA76.9.A23 DC20:005.7/3 |
| 書誌ID | 1001404234 |
| ISBN | 047195067X |
| NCID | BA28892140 |
| 巻冊次 | : Wiley ; ISBN:047195067X : Teubner ; ISBN:3519021153 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |