vérification formelle de la plate-forme JavaCard Autor Simão Melo de Sousa 4 feb 2011 Paperback Preț: 394.91 lei 493.64 lei 38-44 zile -20%
Rigorous Software Development: An Introduction to Program Verification Undergraduate Topics in Computer Science Autor José Bacelar Almeida et al. 7 ian 2011 Paperback Preț: 236.67 lei 295.84 lei 43-57 zile -20%