LIBROS DEL AUTOR: ron koymans

1 resultados para LIBROS DEL AUTOR: ron koymans

ron koymans Eliminar filtro Quitar filtros
  • Specifying Message Passing and Time-Critical Systems with Temporal Logic
    Ron Koymans
    This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems st...
    Disponible

    66,80 €