Search Results

1 - 1 of 1 results for "Morgan, Charles Carroll"

Abstraction, Refinement and Proof for Probabilistic Systems
US$189.00

Illustrates by example the typical steps necessary in computer science to build a mathematical model...