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...
में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Cambridge, EUA :
Massachusetts Institute of Technology,
2002, c2002
|
| विषय: | |
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| बोधानक: |
005. 13 PIE
|
||
|---|---|---|---|
| Ejemplar 0500084511 |
Disponible
Préstamo 7 días a 90
|
संग्रह:
Colección General
|
टिप्पणियाँ:
Ubicar en Nivel 1 Área de Colección General
|