Software Development with Z: A Practical Approach to Formal Methods in Software Engineering

by John Wordsworth and John Wordsworth

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0201627574
• ISBN13: 9780201627572
• Release Date: January 1992
• Publisher: Addison Wesley Publishing Company
• Length: 334 Pages
• Weight: 1.15 lbs.
• Dimensions: 0.7" x 6.0" x 9.1"