عنوان

The Z notation :

شابک

0139785299

شابک

9780139785290

شماره

b777503

عنوان اصلي

The Z notation :

نام عام مواد

[Book]

ساير اطلاعات عنواني

a reference manual /

نام نخستين پديدآور

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

وضعيت ويراست

2nd ed.

محل نشرو پخش و غیره

New York :

نام ناشر، پخش کننده و غيره

Prentice Hall,

تاریخ نشرو بخش و غیره

1992.

نام خاص و کميت اثر

xi, 158 pages ;

ابعاد

24 cm.

عنوان فروست

Prentice Hall international series in computer science

متن يادداشت

Includes indexes.

متن يادداشت

Includes bibliographical references and indexes.

متن يادداشت

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.

متن يادداشت

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

دسترس پذيري

£18.95

عنوان

Z notation.

موضوع مستند نشده

Z (Computer program language)

موضوع مستند نشده

Z

موضوع مستند نشده

Z (Computer program language)

شماره

518.572.7.S76

شماره

ويراست

شماره رده

نشانه اثر

شماره رده

شماره رده

شماره رده

شماره رده

شماره رده

شماره رده

شماره رده

کد سيستم

کد سيستم

کد سيستم

کد سيستم

کد سيستم

کد سيستم

مستند نام اشخاص تاييد نشده

Spivey, J. M.

تاريخ عمليات

20201203104954.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y