Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers Lecture Notes in Computer Science, nr. 5779 Editat de Saddek Bensalem et al. 23 sep 2009 Paperback Preț: 297.58 lei 371.97 lei 38-45 zile -20%
Software Reliability Methods Texts in Computer Science Cuvânt înainte de E.M. Clarke et al. 9 oct 2011 Paperback Preț: 293.48 lei 366.84 lei 38-45 zile -20%
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings Lecture Notes in Computer Science, nr. 4905 Editat de Francesco Logozzo et al. 26 feb 2008 Paperback Preț: 301.78 lei 377.22 lei 38-45 zile -20%
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Lecture Notes in Computer Science, nr. 3707 Editat de Doron A. Peled et al. 19 sep 2005 Paperback Preț: 368.63 lei 460.79 lei 38-45 zile -20%
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings Lecture Notes in Computer Science, nr. 3114 Editat de Rajeev Alur et al. 29 iun 2004 Paperback Preț: 640.11 lei 800.14 lei 38-45 zile -20%
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings Lecture Notes in Computer Science, nr. 2529 Editat de Doron A. Peled et al. 28 oct 2002 Paperback Preț: 343.83 lei 429.80 lei 38-45 zile -20%