Mathematical models for computing science

Geahča maid

• Mathematical Models for Computing Science
  Dahkki: Hoare, C
  Almmustuhtton: (1994)
• Computer Science
  Dahkki: Hoare, C
  Almmustuhtton: (1971)
• Is There a Mathematical Basis for Computer Programming?
  Dahkki: Hoare, C
  Almmustuhtton: (1981)
• Linking Theories in Computing Science
  Dahkki: Hoare, C
  Almmustuhtton: (2015)
• Keynote: A Vision for the Science of Computing
  Dahkki: Hoare, T
  Almmustuhtton: (2008)