Multidimensional programming
1. Introduction. 2. Indexicality. 3. An Indexical Language. 4. Mathematical Semantics. 5. Verification and Transformation. 6. Applications. 7. Education. 8. Parallelism and Fault Tolerance. 9. Implementations. 10. Other Uses of Indexicalcity.
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
New York :
Oxford University Press
1995.
|
| Colección: | EBSCO Academic eBook Collection Complete.
|
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b31430806*spi |
| Sumario: | 1. Introduction. 2. Indexicality. 3. An Indexical Language. 4. Mathematical Semantics. 5. Verification and Transformation. 6. Applications. 7. Education. 8. Parallelism and Fault Tolerance. 9. Implementations. 10. Other Uses of Indexicalcity. |
|---|---|
| Descripción Física: | xi, 161 p. : il |
| Formato: | Forma de acceso: World Wide Web. |
| Bibliografía: | Incluye referencias bibliográficas (p. 153-157) e índice. |
| ISBN: | 9780195360455 |
