https://www.ebooknetworking.net/books_detail-0387401156.html

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Name: Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Author: Annabelle McIver, Charles Carroll Morgan
ISBN: 9780387401157

AuthorAnnabelle McIver, Charles Carroll Morgan

PublisherSpringer

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Buy New on Amazon 🇺🇸

Book Details

Author(s)Annabelle McIver, Charles Carroll Morgan

PublisherSpringer

ISBN / ASIN0387401156

ISBN-139780387401157

MarketplaceUnited States 🇺🇸