LIBROS DEL AUTOR: mathai joseph

1 resultados para LIBROS DEL AUTOR: mathai joseph

mathai joseph Eliminar filtro Quitar filtros
  • Formal Techniques in Real-Time and Fault-Tolerant Systems
    Mathai Joseph
    This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and rep...
    Disponible

    66,53 €