عنوان

The Z notation :

(Number (ISBN

0139785299

(Number (ISBN

9780139785290

Number

b777503

Title Proper

The Z notation :

General Material Designation

[Book]

Other Title Information

a reference manual /

First Statement of Responsibility

J.M. Spivey ; based on the work of J.R. Abrial [and others].

Edition Statement

2nd ed.

Place of Publication, Distribution, etc.

New York :

Name of Publisher, Distributor, etc.

Prentice Hall,

Date of Publication, Distribution, etc.

1992.

Specific Material Designation and Extent of Item

xi, 158 pages ;

Dimensions

24 cm.

Series Title

Prentice Hall international series in computer science

Text of Note

Includes indexes.

Text of Note

Includes bibliographical references and indexes.

Text of Note

1. Tutorial Introduction. 1.1. What is a formal specification? 1.2. The birthday book. 1.3. Strengthening the specification. 1.4. From specifications to designs. 1.5. Implementing the birthday book. 1.6. A simple checkpointing scheme -- 2. Background. 2.1. Objects and types. 2.1.1. Sets and set types. 2.1.2. Tuples and Cartesian product types. 2.1.3. Bindings and schema types. 2.1.4. Relations and functions. 2.2. Properties and schemas. 2.2.1. Combining properties. 2.2.2. Decorations and renaming. 2.2.3. Combining schemas. 2.3. Variables and scope. 2.3.1. Nested scopes. 2.3.2. Schemas with global variables. 2.4. Generic constructions. 2.5. Partially-defined expressions -- 3. The Z Language. 3.1. Syntactic conventions. 3.1.1. Words, decorations and identifiers. 3.1.2. Operator symbols. 3.1.3. Layout. 3.2. Specifications. 3.2.1. Basic type definitions. 3.2.2. Axiomatic descriptions. 3.2.3. Constraints. 3.2.4. Schema definitions. 3.2.5. Abbreviation definitions. 3.3. Schema references.

Text of Note

3.4. Declarations. 3.4.1. Characteristic tuples. 3.5. Schema texts. 3.6. Expressions. 3.7. Predicates. 3.8. Schema expressions. 3.9. Generics. 3.9.1. Generic schemas. 3.9.2. Generic constants. 3.10. Free types. 3.10.1. Example: binary trees. 3.10.2. Consistency -- 4. The Mathematical Tool-kit. 4.1. Sets. 4.2. Relations. 4.3. Functions. 4.4. Numbers and finiteness. 4.5. Sequences. 4.6. Bags -- 5. Sequential Systems. 5.1. States and operations. 5.2. The [Delta] and [Xi] conventions. 5.3. Loose specifications. 5.4. Sequential composition and piping. 5.5. Operation refinement. 5.6. Data refinement. 5.7. Functional data refinement -- 6. Syntax Summary.

0

8

Terms of Availability

£18.95

Title

Z notation.

Z (Computer program language)

Z

Z (Computer program language)

Number

518.572.7.S76

Number

Edition

Class number

Book number

Class number

Class number

Class number

Class number

Class number

Class number

Class number

System Code

System Code

System Code

System Code

System Code

System Code

Spivey, J. M.

Date of Transaction

20201203104954.0

Electronic name

[Book]

Y