Institution-independent Model Theory Studies in Universal Logic Autor Razvan Diaconescu 16 mai 2008 Paperback Preț: 639.94 lei 752.87 lei 6-8 săpt. -15%
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