LIBROS DEL AUTOR: j c bradfield

1 resultados para LIBROS DEL AUTOR: j c bradfield

j c bradfield Eliminar filtro Quitar filtros
  • Verifying Temporal Properties of Systems
    J. C. Bradfield
    This monograph aims to provide a powerful general-purpose proof tech­ nique for the verification of systems, whether finite or infinite. It extends the idea of finite local model-checking, which was introduced by Stirling and Walker: rather than traversing the entire state space of a model, as is done for model-checking in the sense of Emerson, Clarke...
    Disponible

    67,07 €