ADVANCE TOPICS IN TYPES AND PROGRAMMING LANGUAGES
Material type:
TextPublication details: Estados Unidos de América The MIT PressDescription: 574 pgISBN: - 0262162288
- QA76 P54a
Contents:
1.- Precise type analyses2.- Types for Low-Level Languages3.- Types and reasoning about programs
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Libro General | Instituto Tecnológico de Culiacán | Sala de consulta | QA76 P54A (Browse shelf(Opens below)) | 1 | Available | 38620 |
1.- Precise type analyses2.- Types for Low-Level Languages3.- Types and reasoning about programs
InglesÌ
There are no comments on this title.
Log in to your account to post a comment.