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

66.88 Brand New 5 In stock! Order now!
Brand: Addison-Wesley Pub (Sd)
SKU: DADAX0201627574
ISBN : 9780201627572
Price:
$66.88

Domestic Shipping:$3.99
Qty: - +
   - OR -   

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

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.

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

GENERAL
AuthorJohn Wordsworth
BindingPaperback
LanguageEnglish
ISBN-100201627574
ISBN-139780201627572
PublisherAddison-Wesley Pub (Sd)
Number Of Pages336
Publication Date1992-07
DIMENSIONS
Height9.25 inch.
Length0.75 inch.
Width6.25 inch.
Weight1.05 pounds.

Write a review


Your Name:


Your Email:


Your Review:

Note: HTML is not translated!

Rating: Bad           Good

Enter the code in the box below: