C'A'R' Hoare - PowerPoint PPT Presentation

1 / 1
About This Presentation
Title:

C'A'R' Hoare

Description:

C.A.R. Hoare. Emeritus professor at Oxford. Invented Hoare logic, Z notation and CSP. Now works at... Microsoft Research. Knighted March 7, 2000 ... – PowerPoint PPT presentation

Number of Views:48
Avg rating:3.0/5.0
Slides: 2
Provided by: seanwa6
Category:
Tags: hoare | microsoft | works

less

Transcript and Presenter's Notes

Title: C'A'R' Hoare


1
C.A.R. Hoare
  • Emeritus professor at Oxford
  • Invented Hoare logic, Z notation and CSP
  • Now works at Microsoft Research
  • Knighted March 7, 2000
Write a Comment
User Comments (0)
About PowerShow.com