Verifizierte funktionelle Programmierung in Agda (ACM Bücher) - Taschenbuch NEU Stump, Aaron
107,18 €
Title:-Verified Functional Programming in Agda (ACM Books). Author:-Stump, Aaron. Genre:-Computers, Programming, General.
Jetzt bei Ebay:
![Produktbild - Verified Functional Programming in Agda (ACM Books) by Stump, Aaron [Paperback]](https://i.ebayimg.com/thumbs/images/g/zUsAAeSwl4VoN5pQ/s-l140.jpg)
![Produktbild - Verified Functional Programming in Agda (ACM Books) by Stump, Aaron [Hardback]](https://i.ebayimg.com/thumbs/images/g/nPcAAeSwPAdoMWvO/s-l140.jpg)
