Z in practice / Rosalind Barden, Susan Stepney and David Cooper.
By: Barden, Rosalind [author]
.
Contributor(s): Stepney, Susan [author] | Cooper, David [author].
Material type: 
BookSeries: BCS practitioner series: Publisher: New York : Prentice Hall, 1994Description: xviii, 407 pages : illustrations ; 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 0131249347.Subject(s): Z (Computer program language)DDC classification: 005.12 | Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00018783 | |
| General lending | MTU Bishopstown Library Store | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00086041 | |
| General lending | MTU Bishopstown Library Lending | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00086040 |
Browsing MTU Bishopstown Library shelves, Shelving location: Store Close shelf browser (Hides shelf browser)
Enhanced descriptions from Syndetics:
This work is aimed at people who understand the basics of Z and wish to become users. It looks at managerial issues of using Z as well as technical issues, contains a comprehensive glossary which includes some anticipated changes in British Standard, and includes many practical examples.
Bibliography: (pages 385-395) and index.
I: Using Z -- Welcome to Z Newcomers -- Structure, Process, Fluency -- The Established Strategy -- Security Properties -- Other Approaches to Z specification -- Validation -- Putting together your method -- II: Case Studies -- House style -- A word counting utility -- Roles in Space -- Structuring a Video Shop -- Promoting Snakes and Ladders -- Refining the Tower of Hanoi -- III: Style and Tactics -- Be abstract -- Sets of functions? -- Sets, Quantifiers, or Toolkit? -- Sequences are functions are relations are sets -- Error Handling styles -- Promotion -- IV: Z Notation Details -- Using free types -- Using bags -- A four function calculator -- Making schemas work for you -- Exploiting the power of the language -- A real number toolkit -- And finally...