
Discrete Mathematics
Oscar Levin
₹5,499

by Antonetta J. M. Van Gasteren, Edsger W. Dijkstra
Free delivery. Nothing extra to pay at checkout.
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.
Description supplied by the publisher.