|
|
|
Mike McMorran, Steve Powell
ISBN: 9780632031177
Format: Paperback
Publisher:McGraw-Hill Education - Europe
Write a review
Offers an introduction to the Z language which is being increasingly used for the formal specification of software. The book explains how to write formal specifications through worked examples and exercises. In the appendices, the Z notation, operators and functions are defined.
This work offers an introduction to the Z language which is being increasingly used for the formal specification of software. The book explains how to write formal specifications through worked examples and exercises. In the appendices, the Z notation, operators and functions are defined. The book is aimed at second and third year undergraduates on BSc computer science courses, those on MSc courses in computer science, programmers in industry, particularly defence and electronics.
| ISBN | 0632031174 | | DEWEY edition | DC20 | | ISBN13 | 9780632031177
(What's this?) | | Pages | 256 | | Publisher | McGraw-Hill Education - Europe | | Published in | Oxford | | Imprint | Alfred Waller Ltd | | Series title | Computer Science Texts | | Format | Paperback | | Height (mm) | 234 | | Publication date | 01 Jan 1993 | | Width (mm) | 156 | | Library of Congress | QA76.73.Z2 | | Academic level | Undergraduate, Postgraduate, Professional / Scholarly | | DEWEY | 005.133 | |
|
| |
| | | Preface | | | | 1 | | Introduction - Why Formal? | | 1 | | 2 | | A Z Document | | 11 | | 3 | | Logic | | 19 | | 4 | | Sets, Tuples and Types | | 36 | | 5 | | Data Models | | 58 | | 6 | | Schemas as State | | 80 | | 7 | | Schemas for Operations | | 98 | | 8 | | More about Data Models | | 121 | | 9 | | Abstract Data Types, Promotion and Generics | | 148 | | 10 | | Operating with Schemas | | 168 | | | | A. Summary of Notation | | 189 | | | | B. Answers to Problems | | 207 | | | | Index | | 243 |
|
|
|
|
|
Enlarge
