Bokus

Charles Carroll Morgan

Visar alla böcker från författaren Charles Carroll Morgan. Handla med fri frakt och snabb leverans.

  1. Abstraction, Refinement and Proof for Probabilistic Systems

    Abstraction, Refinement and Proof for Probabilistic Systems

    2004

  2. Abstraction, Refinement and Proof for Probabilistic Systems

    Abstraction, Refinement and Proof for Probabilistic Systems

    2005

  3. Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - ICTAC 2009

    2009

  4. Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - ICTAC 2009

    2009