Z an introduction to formal methods
By: Diller, Antoni.
Publisher: John Wiley 1994Edition: 2nd ed.Description: xix, 374 p.Content type: text Media type: unmediated Carrier type: volumeISBN: 0471939730; 9780471939733:.Subject(s): COMPUTER SOFTWARE - DEVELOPMENT | Z (Computer program language) | COMPUTER PROGRAMS - DESIGN | Computer programming | COMPUTER PROGRAMING LANGUAGE - Z | Programming languages (Electronic computers)DDC classification: 005.12 Summary: This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes.Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
ATU Sligo Yeats Library Main Lending Collection | 005.12 (Browse shelf(Opens below)) | 1 | Available | 0033380 |
Total holds: 0
This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes.