Logic Gates, Circuits, Processors, Compilers and Computers Autor Jan Friso Groote et al. 19 aug 2021 Paperback Preț: 201.50 lei 251.87 lei 3-5 săpt. | 7-11 zile -20%
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings Lecture Notes in Computer Science, nr. 6898 Editat de Marko Van Eekelen et al. 2 aug 2011 Paperback Preț: 332.64 lei 415.80 lei 6-8 săpt. -20%