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.
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York :
Oxford University Press,
1995.
|
Temas: | |
Acceso en línea: | Texto completo |
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: | 1 online resource (xi, 161 pages) : illustrations |
Bibliografía: | Includes bibliographical references (pages 153-157) and index. |
ISBN: | 9780195360455 0195360451 9780197560327 0197560326 |