Types and Programming Languages /

Un sistema de tipos es un método para la detección automática de la ausencia de ciertos comportamientos erróneos cuando se clasifican las frases de un programa de acuerdo a los valores que computan. En esta obra se ofrece una introducción pragmática y operativa a la teoría de los sistemas de tipos y...

Szczegółowa specyfikacja

Zapisane w:
Opis bibliograficzny
1. autor: Pierce, Benjamin C. (autor)
Format: Książka
Język:angielski
Wydane: Cambridge, EUA : Massachusetts Institute of Technology, 2002, c2002
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Szczegóły zapisu IT1
Sygnatura:
005. 13 PIE
Ejemplar 0500084511
Disponible
Préstamo 7 días a 90
Kolekcja:
Colección General
Komentarze:
Ubicar en Nivel 1 Área de Colección General