Recomienda este artículo a tus amigos:
Temporal Type Theory Schultz 1st ed. 2019 edition
Temporal Type Theory
Schultz
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
235 pages, 7 Illustrations, color; 60 Illustrations, black and white; VIII, 235 p. 67 illus., 7 illu
| Medios de comunicación | Libros Book |
| Publicado | 11 de febrero de 2019 |
| ISBN13 | 9783030007034 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 235 |
| Dimensiones | 241 × 195 × 18 mm · 535 g |
| Lengua | Alemán |
Mas por Schultz
Mostrar todoVer todo de Schultz ( Ej. Book , Paperback Book , Sheet music , CD y Hardcover Book )