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

Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.

Seller Inventory # OTV.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.