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

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

Paperback
ISBN13: 9780201627572

Out of Stock

  • image This purchase will help support literacy campaigns across the world
  • image BUY ONE GIVE ONE

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.

Type Book
Number Of Pages 336
Item Height 18 mm
Item Width 157 mm
Item Weight 476 Gram
Product Dimensions 157 x 18 x 231
Publisher Addison Wesley
Format Paperback | 336