Rigorous Software Development: An Introduction to Program Verification Undergraduate Topics in Computer Science Autor José Bacelar Almeida et al. 7 ian 2011 Paperback Preț: 234.62 lei 293.28 lei 6-8 săpt. -20%
