Logic Gates, Circuits, Processors, Compilers and Computers Autor Jan Friso Groote et al. 19 aug 2021 Paperback Preț: 201.51 lei 251.88 lei 3-5 săpt. | 10-14 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ț: 339.47 lei 424.34 lei 6-8 săpt. -20%