An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
About this item
Full title
Author / Creator
Publisher
New York : Prentice Hall, 1991.
Date
1991.
Call Numbers
T0372719
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
xiii, 304 p. : ill. ; 24 cm.
Contents
1. Formal specification in the context of software engineering -- 2. An informal introduction to logic and set theory -- 3. A first specification -- 4. The Z notation: the mathematical language -- 5. The Z notation: relations and functions -- 6. The Z notation: schemas and specification structure --...
Publication information
Publisher
New York : Prentice Hall, 1991.
Place of Publication
New York (State)
Date Published
1991.
Subjects
More information
Alternative Titles
Full title
An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
Authors, Artists and Contributors
Author / Creator
Author / Artists
Notes
General note
Prentice-Hall international series in computer science.
Includes bibliographical references and index.
Transferred from N005.133/184.
Identifiers
Primary Identifiers
Call Numbers
T0372719
Record Identifier
74VKp24daWBA
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VKp24daWBA
Other Identifiers
ISBN
0134787021 (paperback) :
9780134787022 (paperback) :
DDC
005.133
MMS ID
991019170489702626
