Start Over
You searched for: Keywords edsger

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 Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

Location
Access Content Online
Cover image for A discipline of programming

A discipline of programming

Location Call # Status
Joyner - General Stacks QA76.6 .D54 ✔ 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 On the shape of mathematical arguments

On the shape of mathematical arguments

Location
Access Content Online
Cover image for Out of their minds

Out of their minds

Location Call # Status
Joyner - General Stacks QA76.2.A2 S53 1995 ✔ Available
Cover image for Mathematics of program construction

Mathematics of program construction

  • 1993
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .M367 1993 ✔ Available