Results for Edsger W. Dijkstra

ISBN.nu

search for books and compare prices

Edsger W. Dijkstra has written 6 work(s)

Search for other authors with the same name

displaying 1 to 6 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Selected Writings on Computing: A Personal Perspective

Product Description: 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 travelling!- alone in my study...read more

By Edsger W. Dijkstra

See complete details on each edition (2 editions listed)

Hardcover:

9780387906522 | Springer Verlag, April 1, 1982, cover price $99.00

Paperback:

9781461256977 | Reprint edition (Springer-Verlag New York Inc, November 11, 2011), cover price $99.00 | About this edition: Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before.

Predicate Calculus and Program Semantics

Product Description: 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...read more

By Edsger W. Dijkstra

See complete details on each edition (1 edition listed)

Hardcover:

9780387969572 | Springer Verlag, January 1, 1990, cover price $99.00 | About this edition: This booklet presents a reasonably self-contained theory of predicate transÂ former semantics.

Formal Development of Programs and Proofs