Menu

Jacques Loeckx

1 published title

The foundations of program verification

1 edition

  • ISBN: 047190323X
  • Teubner
  • 1984
  • Details

obnb.uk is a Good Stuff website.