Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification AMAST Series in Computing Autor Razvan Diaconescu et al. 30 iun 1998 Hardback Preț: 317.02 lei Se retipărește
