Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
37.99 EUR
Ein praxisnaher Ratgeber für Informatiker, der klassische Beweisstrukturen in leicht verständliche Muster zerlegt und zeigt, wie man sie effizient in Algorithmen und Software integriert.