Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.].
Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.].
Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.].
About this item
Full title
Publisher
New York : Prentice Hall, 1993.
Date
1993.
Call Numbers
T0371703
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
xv, 288 p. : ill. ; 24 cm.
Contents
1. Small examples of specification using mathematics / Ian Hayes -- 2. Block-structured symbol table / Ian Hayes -- 3. Telephone network / Carroll Morgan -- 4. Specification of the Unix filing system / Carroll Morgan and Bernard Sufrin -- 5. CAVIAR: a case study in specification / Bill Flinn and Ib...
15. Specifying the IBM CICS Application Programming Interface / Steve King -- 16. CICS Temporary Storage / Ian Hayes -- 17. CICS message system / Ian Hayes -- App. A Glossary: Z mathematical notation -- App. B Glossary: Z schema notation.
Publication information
Publisher
New York : Prentice Hall, 1993.
Edition
2nd ed.
Place of Publication
New York (State)
Date Published
1993.
Subjects
More information
Alternative Titles
Full title
Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.].
Authors, Artists and Contributors
Author / Artists
Notes
General note
Prentice-Hall international series in computer science.
Includes bibliographical references (p. 271-275) and index.
Transferred from N005.12/12.
Identifiers
Primary Identifiers
Call Numbers
T0371703
Record Identifier
74VKwg6r2Xmb
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VKwg6r2Xmb
Other Identifiers
ISBN
0138325448 :
9780138325442 :
DDC
005.12
MMS ID
991018396929702626
