Annabelle McIver

Annabelle McIver

8 results found
List viewGrid view
Sort By:
1.
Science of Quantitative Information Flow
Publisher: Springer
No Review Yet
₹3,350
Binding:
Hardback
Release:
23 Sep 2020
Language:
English
Available
Ships within 2-4 Days Explain..
2.
Formal Methods - The Next 30 Years37 %
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
15 Sep 2019
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Quantitative Evaluation of Systems37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
22 Sep 2018
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Abstraction, Refinement and Proof for Probabilistic Systems27 %
Publisher: Springer
No Review Yet
₹2,500
₹1,825
Binding:
Hardback
Release:
19 Nov 2004
Language:
English
Available
Ships within 4-6 Days Explain..
5.
Abstraction, Refinement and Proof for Probabilistic Systems37 %
Publisher: Springer
No Review Yet
₹14,400
₹9,072
Binding:
Paperback
Release:
19 Nov 2010
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Logic for Programming, Artificial Intelligence, and Reasoning37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
03 Dec 2015
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Quantitative Evaluation of Systems1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
17 Aug 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Logic for Programming, Artificial Intelligence, and ReasoningNR
Out of Stock
Notify me when this book is in stockNotify Me
No more records found