 
            
	                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 | 
 
 
                                     
	                     
             
             
            