Understanding Z 网盘下载 pdf 免费 2025 在线 epub 电子版

The Z notation is a language for expressing mathematical

specifications of computing systems. By providing a formal

semantics for Z, this book justifies the claim that Z is a precise

specification language, and provides a standard framework for

understanding Z specifications. Z is compared with other methods

such as VDM and CLEAR, and in the final chapter, a number of

studies in Z style are presented to show that Z can be used in a

wide variety of specification tasks. This book will appeal to those

who wish to deepen their understanding of the mathematical

background of the Z method, those who want a concise definition of

the language, and those interested in the design of specification

languages.

Preface

1. Introduction

2. Basic concepts

3. The semantics of Z

4. Discussion

5. Studies in Z style

References

Summary of notation

Index of definitions

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：Understanding Z在线阅读

在线听书地址：Understanding Z在线收听

在线购买地址：Understanding Z在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks.