Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver
Item not Available
Format: Book (Paperback / softback)
£145.00
£125.25
Item not Available
Book (Paperback / softback)
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver
Download - Immediately Available
Format: eBook (PDF)
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver
Item not Available
Format: Book (Hardback)
£139.99
£120.95
Item not Available
Book (Hardback)
The Science of Quantitative Information Flow
Mario S. Alvim
Download - Immediately Available
Format: eBook (PDF)