Zoeken

U zocht naar: Auteur McIver, Annabelle Filter Auteur: McIver, Annabelle weghalen Taal Engels Filter Taal: Engels weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

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