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ț: 342.21 lei 427.76 lei 3-5 săpt. | 6-10 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ț: 338.31 lei 422.89 lei 3-5 săpt. -20%