Skip to main content

Scientific Computing with Automatic Result Verification

  • 1st Edition, Volume 189 - May 7, 2012
  • Latest edition
  • Editor: Adams
  • Language: English

Related books