Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems

By Sönke Johannes Magnussen

The quality of software systems depends on many criteria. Choosing an adequate software process model is essential in meeting quality requirements. When aiming at a rigorous mathematical notion of... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3832501525
• ISBN13: 9783832501525
• Release Date: June 2003
• Publisher: Logos Verlag Berlin
• Length: 220 Pages
• Weight: 0.65 lbs.
• Dimensions: 0.6" x 5.7" x 8.1"