Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
Patrocinado Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Encontrar otras opciones disponibles:
Back Market ES 
| Identificadores | |
|---|---|
| ISBN | Patrick Schultz 3030007030 |
| MPN | Patrick Schultz 33747855 |
| Dimensiones / Peso | |
| Características principales | |
| Colección | PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC |
| Edición | Febrero de 2019 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783030007034 |
| Páginas | 215 |
Patrick Schultz
