Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
Descubre cómo el marco topológico redefine la teoría de tipos en contextos temporales, ofreciendo herramientas formales para analizar procesos secuenciales y su evolución dentro de sistemas computacionales avanzados.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Patrick Schultz |
| ASIN | 3030007030 |
| ISBN | 3030007030 |
| MPN | 33747855 |
| EAN | 9783030007034 |
| Colección | PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC |
| Edición | Febrero de 2019 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783030007034 |
| Páginas | 215 |
