LIBROS DEL AUTOR: stefania centrone klaus mainzer

1 resultados para LIBROS DEL AUTOR: stefania centrone klaus mainzer

stefania centrone klaus mainzer Eliminar filtro Quitar filtros
  • TEMPORAL LOGIC
    KLAUS MAINZER / MAINZER KLAUS / Stefania Centrone / STEFANIA CENTRONE KLAUS MAINZER
    Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the ...
    Disponible

    89,11 €