
Z In Practice
Barden(Author)
Addison Wesley (Publisher)
Published on 14. November 1994
Book
Paperback/Softback
432 pages
978-0-13-124934-9 (ISBN)
Description
Written for people who already understand the basics of the Z language, this book will help its readers become adept users of the language. Covers the managerial issues of using Z, as well as the technical. Includes plenty of practical examples and case studies. Contains a comprehensive glossary which includes some anticipated changes in the British Standard. For practitioners of the Z language, as well as project managers and team leaders.
More details
Language
English
Place of publication
Boston
United States
Publishing group
Pearson Education (US)
Target group
Professional and scholarly
Dimensions
Height: 235 mm
Width: 174 mm
Thickness: 21 mm
Weight
650 gr
ISBN-13
978-0-13-124934-9 (9780131249349)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
Using Z. Structure, Process, Fluency. The Established Strategy. Security Properties. Other Approaches to Z Specification. Validation. Putting Together Your Method. House Style. A Word Counting Utility. Roles in Space. Structuring a Video Shop. Promoting Snakes and Ladders. Refining the Tower of Hanoi. Be Abstract. Sets or Functions?. Sets, Quantifiers, or Toolkit?. Sequences are Functions are Relations are Sets. Error Handling Styles. Promotion. Using Free Types. Using Bags. A Function Calculator. Making Schemas Work for you. Exploiting the Power of the Language. A Real Number Toolkit. and Finally...