Bibliografie

Ergebnisse für "mciver, annabelle"

Ähnliche Suchbegriffe: fagner, annabelle, sreberny, annabelle, sperber, annabelle von

1 - 7 von 7
Zur Detailsuche

Ergebnisse

Abstraction Refinement and Proof for Probabilistic Systems
Monographs in Computer Science
McIver, Annabelle/Morgan, Charles Carroll
Springer Verlag GmbH
Erschienen am 19.11.2004
€ 160,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Abstraction, Refinement and Proof for Probabilistic Systems
Monographs in Computer Science
McIver, Annabelle/Morgan, Charles Carroll
Springer Verlag GmbH
Erschienen am 19.11.2010
€ 160,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Formal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7-11,2019, Proceedings, Lecture Notes in Computer Science 11800 - Programming and Software Engineering
Maurice H ter Beek/Annabelle McIver/José N Oliveira
Springer Verlag GmbH
Erschienen am 15.09.2019
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
The Science of Quantitative Information Flow
Information Security and Cryptography
Alvim, Mário S/Chatzikokolakis, Konstantinos/McIver, Annabelle et al
Springer Verlag GmbH
Erschienen am 23.09.2020
€ 64,19
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28,2015, Proceedings, Lecture Notes in Computer Science 9450 - Theoretical Computer Science and General Issues
Martin Davis/Ansgar Fehnker/Annabelle McIver et al
Springer Verlag GmbH
Erschienen am 03.12.2015
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Abstraction, Refinement and Proof for Probabilistic Systems
eBook - Monographs in Computer Science
McIver, Annabelle/Morgan, Charles Carroll
SPRINGER
Erschienen am 27.10.2005
Format: PDF
€ 173,95
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7,2018, Proceedings, Lecture Notes in Computer Science 11024 - Theoretical Computer Science and General Issues
Annabelle McIver/Andras Horvath
Springer Verlag GmbH
Erschienen am 15.08.2018
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen