Customer Reviews


There are no customer reviews yet.  Create your own review

This product

Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the Development of Software Systems by Sönke Johannes Magnussen (Paperback - June 27, 2003)
Used & New from: $81.00
Add to wishlist See buying options