Predicate Calculus and Program Semantics Monographs in Computer Science Autor Edsger W. Dijkstra et al. 26 sep 2011 Paperback Preț: 566.41 lei 708.01 lei 43-57 zile -20%