LIBROS DEL AUTOR: pierre jacques courtois

1 resultados para LIBROS DEL AUTOR: pierre jacques courtois

pierre jacques courtois Eliminar filtro Quitar filtros
  • Justifying the Dependability of Computer-based Systems
    Pierre-Jacques Courtois
    Part I: The Context Introduction Current Practices Axiomatic Justification and Uncertainty Justification and Dependability Case Part II: Prescriptions Requirements, Claims and Evidence Arguments, Syntax and Semantics Axiomatic Principles and Limits Part III: Descriptions Structures and Interpretations Embedded Computer System Structures Part IV: Methodological Implications Pre-...
    Disponible

    329,19 €