
Conte aos seus amigos sobre este item:
Temporal Type Theory 1st ed. 2019 edition
Schultz
Temporal Type Theory 1st ed. 2019 edition
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
Mídia | Livros Book |
Lançado | 11 de fevereiro de 2019 |
ISBN13 | 9783030007034 |
Editoras | Springer Nature Switzerland AG |
Páginas | 235 |
Dimensões | 241 × 195 × 18 mm · 535 g |
Idioma | German |
Mostrar tudo
Mais por Schultz
Ver tudo de Schultz ( por exemplo Book , Paperback Book , CD e Sheet music )