LIBROS DEL AUTOR: carroll morgan

7 resultados para LIBROS DEL AUTOR: carroll morgan

carroll morgan Eliminar filtro Quitar filtros
  • Formal Methods, Informally
    Carroll Morgan
    ...
    Disponible

    135,30 €

  • Formal Methods, Informally
    Carroll Morgan
    ...
    Disponible

    62,77 €

  • When God Speaks, Obey!
    Carroll Morgan
    This is an inspirational book about obeying God when he speaks.When the Holy Spirit spoke to the Author that this was the last time he was going to be called to repent, the Author obeyed and ask the Lord Jesus to come into the author’s life and take control.The Holy Spirit told the Author if the Author would stay out of his way, that the Holy Spirit 'would make him Chief of Pol...
    Disponible

    11,79 €

  • 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 €

  • The Fork-In-The-Road Indian Poetry Store
    Phillip Carroll Carroll Morgan
    ...
    Disponible

    15,12 €

  • 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 €