Refinement in Z and Object-Z: Foundations and Advanced Applications

By John Derrick and Eerke A. Boiten

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 185233245X
• ISBN13: 9781852332457
• Release Date: January 2001
• Publisher: Springer
• Length: 466 Pages
• Weight: 1.61 lbs.
• Dimensions: 1.2" x 6.2" x 9.2"