This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. A technical rather than psychological view of heuristics and a stress on exploiting for- malism effectively are two key features.
| Author: Antonetta J. M. Van Gasteren |
| Publisher: Springer |
| Publication Date: Jul 24, 1990 |
| Number of Pages: 184 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540528490 |
| ISBN-13: 9783540528494 |
Related Products
Sale 2%
Createspace Independent Publishing Platform
Geometric Modeling: The Mathematics of Shapes
$40.00
$39.07
