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ț: 386.16 lei
3-5 săpt.
Cărți de Gilles Barthe
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ț: 332.10 lei 415.13 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ț: 332.10 lei 415.13 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ț: 314.22 lei 392.77 lei
3-5 săpt.
-20%
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ț: 402.28 lei 502.84 lei
3-5 săpt.
-20%