Software Development With Z: A Practical Approach To Formal Methods In Software Engineering (international Computer Science Series)

66.36 Brand New 5 In stock! Order now!
Brand: Addison-Wesley Pub (Sd)
SKU: DADAX0201627574
ISBN : 0201627574

Domestic Shipping:$6.95
International Shipping: Add $20.
Qty: - +
   - OR -   
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.
Author : John Wordsworth
ISBN : 0201627574
Language : English
No of Pages : 336
Publication Date : 1992-07
Format/Binding : Paperback
Book dimensions : 9.1x6.2x0.7
Book weight : 0.01

Write a review

Your Name:

Your Email

Your Review: Note: HTML is not translated!

Rating: Bad           Good

Enter the code in the box below: