Computer-Aided Reasoning Advances in Formal Methods, nr. 4 Editat de Matt Kaufmann et al. 30 iun 2000 Hardback Preț: 1321.32 lei 1651.65 lei 43-57 zile -20%
