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%
Cărți de Gilles Barthe
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Editat de Gilles Barthe et al.
8 ian 2010
Paperback
Preț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
Editat de Gilles Barthe et al.
17 sep 2016
Paperback
Preț: 317.05 lei 396.31 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%
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Editat de Gilles Barthe et al.
18 apr 2006
Paperback
Preț: 314.86 lei 393.57 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%
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures
Editat de Alessandro Aldini et al.
17 aug 2009
Paperback
Preț: 296.84 lei 371.04 lei
6-8 săpt.
-20%
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Editat de Jorge Cuellar et al.
23 sep 2011
Paperback
Preț: 468.38 lei
6-8 săpt.