LIBROS DEL AUTOR: mathai joseph

2 resultados para LIBROS DEL AUTOR: mathai joseph

mathai joseph Eliminar filtro Quitar filtros
  • Formal Techniques in Real-Time and Fault-Tolerant Systems
    Mathai Joseph
    The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such ...
    Disponible

    79,36 €

  • 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 €