LIBROS DEL AUTOR: charles carroll morgan

3 resultados para LIBROS DEL AUTOR: charles carroll morgan

charles carroll morgan Eliminar filtro Quitar filtros
  • A Lawyer’s Brief On The Atonement
    Charles Carroll Morgan
    'A Lawyer’s Brief On The Atonement' presents a unique exploration of a core Christian doctrine through the lens of legal reasoning. Charles Carroll Morgan examines the concept of atonement with the precision and rigor of a lawyer, offering a structured and compelling argument for its validity and significance. This book delves into the historical, theological, and legal dimensi...
    Disponible

    21,12 €

  • Abstraction, Refinement and Proof for Probabilistic Systems
    Annabelle McIver / Charles Carroll Morgan
    Probabilistic guarded commands and their refinement logic.- to pGCL: Its logic and its model.- Probabilistic loops: Invariants and variants.- Case studies in termination: Choice coordination, the dining philosophers, and the random walk.- Probabilistic data refinement: The steam boiler.- Semantic structures.- Theory for the demonic model.- The geometry of probabilistic programs...
    Disponible

    194,86 €

  • Abstraction, Refinement and Proof for Probabilistic Systems
    Annabelle McIver / Charles Carroll Morgan
    Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of ’quantitative’ program logics. ...
    Disponible

    205,80 €