Book classification:Science & Mathematics,English Books
No. of pages:200 Pages
Format:Paperback
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR367
Incl. VAT
Choose your delivery preference
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.