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ț: 321.62 lei 402.02 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ț: 328.04 lei 410.06 lei 3-5 săpt. -20%