Einführung in abhängige Typen mit Idris: Codierungsprogrammnachweise in Typen
38,45 €
Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.
Jetzt bei Ebay:
