LIBROS DEL AUTOR: job zwiers

1 resultados para LIBROS DEL AUTOR: job zwiers

job zwiers Eliminar filtro Quitar filtros
  • Compositionality, Concurrency, and Partial Correctness
    Job Zwiers
    The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this principle of program decomposition on the specification and verification of parallel executed programs is the subject of this monograph. Two important yardsticks for verification methods, those ...
    Disponible

    66,32 €