Start Over
You searched for: author_facet Hoare, C. A. R.

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 Communicating sequential processes

Communicating sequential processes

Location
Access Content Online
Cover image for Mechanized reasoning and hardware design

Mechanized reasoning and hardware design

  • 1992
  • Format: Book
Location Call # Status
Joyner - General Stacks TK7895.M5 M4 1992 ✔ Available
Cover image for Communicating sequential processes

Communicating sequential processes

Location Call # Status
Joyner - General Stacks QA76.6 .H57 1985 ✔ Available
Cover image for Software system reliability and security

Software system reliability and security

  • 2007
  • Format: Electronic
Location
Access Content Online
Cover image for Engineering methods and tools for software safety and security

Engineering methods and tools for software safety and security

Location
Access Content Online
Cover image for A classical mind

A classical mind

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76 .A23 1994 ✔ Available
Cover image for VDM '90

VDM '90

Location Call # Status
Joyner - General Stacks QA76.76.D47 V36 1990 ✔ Available
Cover image for Software and systems safety

Software and systems safety

  • 2011
  • Format: Electronic
Location
Access Content Online
Cover image for Communicating sequential processes

Communicating sequential processes

Location
Access Content Online