Trustworthy Global Computing Editat de Gilles Barthe et al. 18 mar 2008 Paperback Preț: 327.28 lei 409.10 lei 6-8 săpt. -20%
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Editat de Gilles Barthe et al. 21 ian 2005 Paperback Preț: 319.75 lei 399.68 lei 6-8 săpt. -20%
Formal Methods for Open Object-Based Distributed Systems Editat de Gilles Barthe 29 mai 2008 Paperback Preț: 319.96 lei 399.94 lei 6-8 săpt. -20%