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 6-8 săpt. -20%
