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 Technologies: Applications and Foundations Lecture Notes in Computer Science, nr. 11176 Editat de Manuel Mazzara et al. 6 dec 2018 Paperback Preț: 327.76 lei 409.70 lei 22-36 zile | 6-12 zile -20%
Software Engineering and Formal Methods Editat de Peter Csaba Ölveczky et al. 2 sep 2019 Paperback Preț: 370.14 lei 462.68 lei 38-44 zile -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 13077 Editat de Gwen Salaün et al. 5 noi 2021 Paperback Preț: 289.02 lei 361.27 lei 43-57 zile -20%
Software Engineering and Formal Methods Lecture Notes in Computer Science, nr. 8702 Editat de Dimitra Giannakopoulou et al. 4 aug 2014 Paperback Preț: 328.10 lei 410.13 lei 43-57 zile -20%