Picture 1 of 1

Stock photo

Software Development with Z: Practical Approach to Formal Method - Picture 1 of 1

Software Development with Z: A Practical Approach to Formal Methods in Software Engineering by J. Wordsworth (Paperback, 1992)

Chiron_Media_Store (1110479)

99.5% positive feedback

Price:

GBP 4.71

(inclusive of GST)

ApproximatelyS$ 8.16

+ 7.62 shipping

Estimated delivery Thu, 3 Jul - Wed, 9 Jul

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Good

About this product

Product Information

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.