Home / Authors / Annabelle McIver, Charles Carroll Morgan

Books by Annabelle McIver, Charles Carroll Morgan

All books by this author

1 books found
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Abstraction, Refinement and Proof for Probabilistic Systems…
By: Annabelle McIver, Charles Carroll Morgan
View Details