LIBROS DEL AUTOR: edsger w dijkstra

2 resultados para LIBROS DEL AUTOR: edsger w dijkstra

edsger w dijkstra Eliminar filtro Quitar filtros
  • Selected Writings on Computing
    Edsger W. Dijkstra
    Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a week and was most of the time -that is, when not trave...
    Disponible

    158,07 €

  • Predicate Calculus and Program Semantics
    Carel S. Scholten / Edsger W. Dijkstra
    This booklet presents a reasonably self-contained theory of predicate trans­ former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but a...
    Disponible

    121,87 €