The Science of Quantitative Information Flow
Annabelle McIver, Carroll Morgan, Mário S. Alvim, Geoffrey Smith, Konstantinos Chatzikokolakis, Catuscia Palamidessi
₹3,390
Abstraction, Refinement and Proof for Probabilistic Systems
by Annabelle McIver, Charles Carroll Morgan
Springer · 2004
₹1,900
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Abstraction, Refinement and Proof for Probabilistic Systems is written by Annabelle McIver & Charles Carroll Morgan. This edition from Springer (2004) has 388 pages.
Its main subjects are Probabilities, Systems engineering, Engineering mathematics and Logic design.
Book details
- ISBN-13
- 9780387401157
- ISBN-10
- 0387401156
- Authors
- Annabelle McIver, Charles Carroll Morgan
- Publisher
- Springer
- Published
- 2004
- Pages
- 388
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Annabelle McIver and related titles
Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Advanced Digital Design with the Verilog Hdl
Michael Ciletti
₹5,206
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568
Approaches and Applications of Inductive Programming
Ute Schmid, Emanuel Kitzelmann
₹5,483
Principles and Practice of Constraint Programming -- CP 2011
Jimmy Lee
₹5,467
Rewriting Logic and Its Applications
Peter Csaba Ölveczky
₹5,520
Logic Program Synthesis and Transformation
Maurizio Proietti
₹5,514
Logic-Based Program Synthesis and Transformation
Danny De Schreye
₹5,492
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,247
Theory and Practice of Model Transformations
Laurence Tratt, Martin Gogolla
₹5,602
Model Checking Software
Sriram K. Rajamani
₹4,264