Algol-like Languages Progress in Theoretical Computer Science Autor Peter O'Hearn et al. dec 1996 Paperback Preț: 650.42 lei 813.02 lei 38-44 zile -20%
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings Lecture Notes in Computer Science, nr. 6217 Editat de Gary T. Leavens et al. 5 aug 2010 Paperback Preț: 318.67 lei 398.33 lei 3-5 săpt. -20%