Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


Serie m´´as popular en Estados Unidos

1 - 2 de 2 resultados para “benjamin c pierce”
Skip side bar filters

  • Types and Programming Languages

    de 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 phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, ... Leer más

    $58.99 USD

  • Basic Category Theory for Computer Scientists

    de Benjamin C. Pierce ...
    Series series Foundations of Computing
    Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming ... Leer más

    $25.99 USD