Search

You searched for: Auteur McIver, Annabelle Remove constraint Auteur: McIver, Annabelle
1 - 4 of 4
Number of results to display per page

Search Results

1. Formal Methods – The Next 30 Years
thumbnail
Full text!
Author:
ter Beek; McIver, Annabelle; Oliveira, José N.
Publisher:
Springer International Publishing 2019
Format:
e-book
2. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Davis; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2015
Format:
e-book
3. The Science of Quantitative Information Flow
thumbnail
Full text!
Author:
Alvim; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
Publisher:
Springer International Publishing 2020
Format:
e-book
4. Abstraction, Refinement and Proof for Probabilistic Systems
thumbnail
Full text!
Author:
McIver, Annabelle; Morgan, Caroll; Morgan, Carroll; Morgan, Charles C.; Morgan, Charles Carroll
Publisher:
Springer New York 2005
Format:
e-book