Theorem Proving in Higher Order Logics
Editat de David Basin et al.
21 aug 2003
Paperback
Preț: 381.25 lei
6-8 săpt.
Cărți de David Basin
Applied Information Security
Autor David Basin et al.
29 noi 2013
Paperback
Preț: 242.37 lei 302.96 lei
Indisponibil temporar
-20%