Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)

Wordsworth, John

ISBN 10: 0201627574 / ISBN 13: 9780201627572

Published by Addison-Wesley, 1992

About this Item

Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

Seller Inventory # ZBV.0201627574.VG

Bibliographic Details

• Title: Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
• Publisher: Addison-Wesley
• Publication Date: 1992
• Language: English
• ISBN 10: 0201627574
• ISBN 13: 9780201627572
• Binding: Soft cover
• Condition: very_good

About this title

Synopsis

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.