Welcome to Central Library, SUST

Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. by
  • Dijkstra, Edsger Wybe
  • Scholten, Carel S
Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1990
Availability: Items available for loan: Central Library, SUST (3)Call number: 511.3 DIP, ...

2.
Selected writings on computing : a personal perspective / Edsger W. Dijkstra, David Gries .... [et al.]. by
  • Dijkstra, Edsger Wybe
  • Gries, David
Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1982
Availability: Items available for loan: Central Library, SUST (3)Call number: 001.64 DIS, ...

Pages