Søgning - alle produkter
Find og sammenlign priser på produkter fra danske webshops. Brug søgefeltet eller browse efter kategorier for at finde det du leder efter.
Benjamin C. Pierce
A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program
Fra 699,95 kr.
Benjamin C. Pierce
Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations
394,95 kr.