Software Development with Z by J Wordsworth

  •
1 1

Software Development with Z by J Wordsworth

Checking stock...
Checking stock...
Proud to be B-Corp

Our business meets the highest standards of verified social and environmental performance, public transparency and legal accountability to balance profit and purpose. In short, we care about people and the planet.

The feel-good place to buy books
  • Free delivery in Australia
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • Proud to be a B Corp – A Business for good
  • Buy-back with Ziffit

Software Development with Z by J Wordsworth

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.

You might also like

SKU Unavailable
ISBN 13 9780201627572
ISBN 10 0201627574
Title Software Development with Z
Author J Wordsworth
Condition Unavailable
Binding Type Paperback
Publisher Pearson Education (US)
Year published 1992-06-29
Number of pages 336
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.