Skip to main content
Elsevier

Scientific Computing with Automatic Result Verification

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

Purchase options

Sorry, this title is not available for purchase in your country/region.

End of Summer Sale

Save up to 30% off

Bright savings for research, study, and discovery

Shop the summer sale

Product details

  • Edition: 1
  • Latest edition
  • Volume: 189
  • Published: October 21, 1992
  • Language: English

View book on ScienceDirect

Read Scientific Computing with Automatic Result Verification on ScienceDirect