Menu

Ian Hayes

6 published titles

Specification case studies

(Contributor)

2 editions

  • ISBN: 0138265798
  • Prentice-Hall International
  • 1987
  • Details
  • ISBN: 0138325448
  • Prentice Hall International
  • 1993
  • Details

FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings

(Contributor)

1 edition

  • ISBN: 9783540278825
  • Springer
  • 2005
  • Details

Deriving specifications for systems that are connected to the physical world

(Contributor)

1 edition

  • University of Newcastle upon Tyne
  • 2007
  • Details

Comparing models of nondeterministic expression evaluation

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Laws and semantics for rely-guarantee refinement

1 edition

  • Newcastle University, Computing Science
  • Details

Possible values : exploring a concept for concurrency

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.