Sale!

Abstraction, Refinement and Proof for Probabilistic Systems 2005th Edition by Annabelle McIver, Charles Carroll Morgan 0387401156 9780387401157

Original price was: $70.00.Current price is: $24.99.

Instant download Abstraction Refinement and Proof for Probabilistic Systems by Annabelle McIver Annabelle McIver Charles Carroll Morgan after payment

SKU: EB_85394 Category:

Fearless Change: Patterns for Introducing New Ideas Hardcover 1st edition by Linda Rising, Mary Lynn Manns – Ebook PDF Instant Download/Delivery: 0387401156, 978-0387401157

 

 

Product details:

• ISBN 10: 0387401156

• ISBN 13: 978-0387401157

• Author: Annabelle McIver, Charles Carroll Morgan

  

This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.

 

People also search:

abstraction refinement and proof for probabilistic systems
what is the abstraction principle
is it necessary to implement abstract methods
abstraction refinement

Reviews

There are no reviews yet.

Be the first to review “Abstraction, Refinement and Proof for Probabilistic Systems 2005th Edition by Annabelle McIver, Charles Carroll Morgan 0387401156 9780387401157”