Menu

Ryan D. Stansifer

3 published titles

The foundations of program verification

(Contributor)

2 editions

  • ISBN: 047190323X
  • Teubner
  • 1984
  • Details
  • ISBN: 0471912824
  • Teubner
  • 1987
  • Details

ML Primer

1 edition

  • ISBN: 0135617219
  • Prentice Hall
  • 1992
  • Details

The study of programming languages

1 edition

  • ISBN: 0131494937
  • Prentice-Hall International
  • 1995
  • Details

obnb.uk is a Good Stuff website.