Abstract State Machines: A Method for High-Level System Design and Analysis Autor Egon Börger et al. 3 oct 2013 Paperback Preț: 327.04 lei 408.80 lei 43-57 zile -20%
Proof Theory in Computer Science Editat de Reinhard Kahle et al. 28 sep 2001 Paperback Preț: 319.92 lei 399.90 lei 43-57 zile -20%