Scientific Computing with Automatic Result Verification
by
E. Adams
Paperback
details (
USA
).
ISBN: 978-0-12-410955-1
ISBN-10: 0-12-410955-1
Academic Press
· 2012