Skip to main content

Scientific Computing with Automatic Result Verification

  • 1st Edition, Volume 189 - October 21, 1992
  • Latest edition
  • Editor: Adams
  • Language: English