Trustworthy Global Computing Editat de Gilles Barthe et al. 18 mar 2008 Paperback Preț: 328.29 lei 410.37 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ț: 320.72 lei 400.90 lei 6-8 săpt. -20%
Formal Methods for Open Object-Based Distributed Systems Editat de Gilles Barthe 29 mai 2008 Paperback Preț: 320.93 lei 401.17 lei 6-8 săpt. -20%