Blackwell UK
Software Development with Z
Practical Approach to Formal Methods in Software Engineering
ISBN: 9780201627572
Format: Paperback
Publisher: Pearson Education Limited
RRP £32.99
Availability:
Out of print
Free UK postage
Buy used: 9 new & used available from £2.90
Wishlist:
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.
