Im Hinblick auf die zunehmende Bedeutung des Umweltschutz-Reporting wendet sich das Lehr- und Handbuch an Führungskräfte in Unternehmen und an Studierende der Betriebswirtschaft mit Schwerpunkten Rechnungswesen, Controlling und Wirtschaftsprüfung

We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...