Types and Programming Languages (The MIT Press) by Pierce, Benjamin C.
92,51 €
The study of type systems--and of programming languages from a type-theoretic perspective—-has important applications in software engineering, language design, high-performance compilers, and security.
Jetzt bei Ebay: