Edsger W. Dijkstra – författare
Visar alla böcker från författaren Edsger W. Dijkstra. Handla med fri frakt och snabb leverans.
4 produkter
Selected Writings on Computing: A personal Perspective
Häftad, 2011
1465 kr
Lägg i varukorg
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 …
Predicate Calculus and Program Semantics
Av Carel S. Scholten, Edsger W. Dijkstra
E-bok, 2012
1251 kr
Lägg i varukorg
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 …
Selected Writings on Computing: A personal Perspective
E-bok, 2012
1838 kr
Lägg i varukorg
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 …
Predicate Calculus and Program Semantics
Av Edsger W. Dijkstra, Carel S. Scholten
Häftad, 2011
961 kr
Lägg i varukorg
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 …
