Automated Reasoning Editat de David Basin et al. 22 iun 2004 Paperback Preț: 634.75 lei 793.44 lei 43-57 zile -20%
Theorem Proving in Higher Order Logics Editat de David Basin et al. 21 aug 2003 Paperback Preț: 381.25 lei 43-57 zile
Applied Information Security Autor David Basin et al. 29 noi 2013 Paperback Preț: 242.37 lei 302.96 lei Indisponibil temporar -20%