Foundations of Probabilistic Programming
Editat de Gilles Barthe et al.
2 dec 2020
Hardback
Preț: 377.37 lei 471.71 lei
3-5 săpt. | 10-14 zile
-20%
Cărți de Gilles Barthe
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Editat de Gilles Barthe et al.
4 mai 2012
Paperback
Preț: 409.85 lei 512.31 lei
3-5 săpt.
-20%
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
Editat de Gilles Barthe et al.
30 ian 2012
Paperback
Preț: 320.06 lei 400.08 lei
3-5 săpt.
-20%
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Editat de Gilles Barthe et al.
21 oct 2011
Paperback
Preț: 338.31 lei 422.89 lei
3-5 săpt.
-20%
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Editat de Gilles Barthe
22 mar 2011
Paperback
Preț: 338.31 lei 422.89 lei
3-5 săpt.
-20%
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ț: 332.64 lei 415.80 lei
6-8 săpt.
-20%
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Editat de Gilles Barthe et al.
18 mar 2008
Paperback
Preț: 332.64 lei 415.80 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ț: 322.96 lei 403.69 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ț: 477.17 lei
6-8 săpt.
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures
Editat de Alessandro Aldini et al.
17 aug 2009
Paperback
Preț: 302.34 lei 377.93 lei
6-8 săpt.
-20%
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Editat de Gilles Barthe
29 mai 2008
Paperback
Preț: 325.38 lei 406.73 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ț: 320.71 lei 400.89 lei
6-8 săpt.
-20%
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Editat de Gilles Barthe et al.
21 ian 2005
Paperback
Preț: 379.04 lei
6-8 săpt.
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Editat de Gilles Barthe et al.
21 aug 2002
Paperback
Preț: 393.34 lei
6-8 săpt.