Computer-Aided Reasoning: ACL2 Case Studies Advances in Formal Methods, nr. 4 Editat de Matt Kaufmann et al. 8 dec 2010 Paperback Preț: 1253.05 lei 1566.32 lei 43-57 zile -20%