Cover of Abstraction, Refinement and Proof for Probabilistic Systems by McIver, Annabelle, Morgan, Charles Carroll, ISBN 9780387401157
Computer Science

Abstraction, Refinement and Proof for Probabilistic Systems

ABSTRACTION REFINEMENT & PROOF

Contributor(s): Author , Author Format: Hardback

Hardback Β· ISBN 9780387401157

β‚Ή16,396 2%
β‚Ή16,769

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9780387401157
Subtitle ABSTRACTION REFINEMENT & PROOF
Publisher Springer
Publication date November 2004
Language English
MRP Β£129.99 GBP
Page count 408
Item weight 165 g

Abstraction, Refinement and Proof for Probabilistic Systems published by Springer.