Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings Lecture Notes in Computer Science, nr. 6959 Editat de Gwen Salaün et al. 19 sep 2011 Paperback Preț: 319.42 lei 399.28 lei 43-57 zile -20%
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings Lecture Notes in Computer Science, nr. 8702 Editat de Dimitra Giannakopoulou et al. 4 aug 2014 Paperback Preț: 325.47 lei 406.84 lei 43-57 zile -20%
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings Lecture Notes in Computer Science, nr. 13077 Editat de Gwen Salaün et al. 5 noi 2021 Paperback Preț: 287.32 lei 359.15 lei 43-57 zile -20%