Books by Razvan Diaconescu
No products found matching the selection.
-20%
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
€66.86
€83.58
-20% with code BOOKS
In stock at our supplier