Work With Data

Abstraction, refinement and proof for probabilistic systems

Updated: 110d ago

Abstraction, refinement and proof for probabilistic systems is a book. It was written by Annabelle McIver and published by : Springer in 2011.

Key facts

plus See more facts

Extract data

Download datasets about Abstraction, refinement and proof for probabilistic systems:

dataset Dataset of books series that contain Abstraction, refinement and proof for probabilistic systems:

dataset Dataset of book subjects that contain Abstraction, refinement and proof for probabilistic systems:

"Abstraction, refinement and proof for probabilistic systems" is one of the books by Annabelle McIver, books by : Springer and 2,617,384 books in our database.

This dashboard is based on data from: The British Library.

This content is available under the CC BY 4.0 license.