Start Over
You searched for: author_facet Dijkstra, Edsger W.

Search Results

Cover image for Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

  • 2022
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .E37 2022 ✔ Available
Cover image for Formal development of programs and proofs

Formal development of programs and proofs

  • 1990
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6.F657 1990 ✔ Available
Cover image for Predicate calculus and program semantics

Predicate calculus and program semantics

Location Call # Status
Joyner - General Stacks QA9.35.D55 1990 ✔ Available
Cover image for A discipline of programming

A discipline of programming

Location Call # Status
Joyner - General Stacks QA76.6 .D54 ✔ Available