Z in practice
著者
書誌事項
Z in practice
（BCS practitioner series）
Prentice Hall, 1994
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 385-395) and index
内容説明・目次
内容説明
Written for people who already understand the basics of the Z language, this book will help its readers become adept users of the language. Covers the managerial issues of using Z, as well as the technical. Includes plenty of practical examples and case studies. Contains a comprehensive glossary which includes some anticipated changes in the British Standard. For practitioners of the Z language, as well as project managers and team leaders.
目次
Using Z. Structure, Process, Fluency. The Established Strategy. Security Properties. Other Approaches to Z Specification. Validation. Putting Together Your Method. House Style. A Word Counting Utility. Roles in Space. Structuring a Video Shop. Promoting Snakes and Ladders. Refining the Tower of Hanoi. Be Abstract. Sets or Functions?. Sets, Quantifiers, or Toolkit?. Sequences are Functions are Relations are Sets. Error Handling Styles. Promotion. Using Free Types. Using Bags. A Function Calculator. Making Schemas Work for you. Exploiting the Power of the Language. A Real Number Toolkit. and Finally...
「Nielsen BookData」 より
