Software Development with Z
| Author | : J. B. Wordsworth |
| Publisher | : Addison Wesley Publishing Company |
| Total Pages | : 362 |
| Release | : 1992 |
| ISBN-10 | : UOM:39015028451147 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Software Development with Z by : J. B. Wordsworth
Download or read book Software Development with Z written by J. B. Wordsworth and published by Addison Wesley Publishing Company. This book was released on 1992 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
