Essential Logic for Computer Science Autor Rex Page et al. 8 ian 2019 Hardback Preț: 393.88 lei 22-36 zile | 6-12 zile
Interactive Theorem Proving Lecture Notes in Computer Science, nr. 8558 Editat de Gerwin Klein et al. aug 2014 Paperback Preț: 336.49 lei 420.61 lei 43-57 zile -20%