Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science)
Hoffmann, Berthold [Editor]; Krieg-Br�¼ckner, Bernd [Editor];
Sold by GuthrieBooks, Spring Branch, TX, U.S.A.
AbeBooks Seller since February 1, 2007
Used - Soft cover
Condition: Used - Good
Ships within U.S.A.
Quantity: 1 available
Add to basket