Formal Methods for Software Engineering: Languages, Methods, Application Domains Texts in Theoretical Computer Science. An EATCS Series Autor Markus Roggenbach et al. 24 iun 2023 Paperback Preț: 319.34 lei 399.17 lei 3-5 săpt. | 6-12 zile -20%
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings Lecture Notes in Computer Science, nr. 7041 Editat de Gilles Barthe et al. 21 oct 2011 Paperback Preț: 345.26 lei 431.57 lei 3-5 săpt. -20%