Computer-Aided Reasoning: ACL2 Case Studies Advances in Formal Methods, nr. 4 Editat de Matt Kaufmann et al. 8 dec 2010 Paperback Preț: 1274.57 lei 1593.22 lei 6-8 săpt. -20%