Verified Functional Programming in Agda (Acm Books)
von ACM Books
* Alle Preise inkl. Mehrwertsteuer. Die Preise und Versandkosten können sich seit der letzten Aktualisierung verändert haben. Es ist technisch nicht möglich, die angegebenen Preise in Echtzeit zu aktualisieren. Es gilt der Preis zum Zeitpunkt des Kaufs auf der Website des Verkäufers. Als Teilnehmer der Partnerprogramme von Amazon und eBay verdient die metaspinner net GmbH an qualifizierten Verkäufen.