![Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems](https://bilder.buecher.de/produkte/13/13292/13292791m.jpg)
Gebundenes Buch
2005 edition
19. November 2004
Springer / Springer New York / Springer, Berlin
10930342,978-0-387-40115-7
Broschiertes Buch | 111,99 € | |
eBook, PDF | 149,79 € |
![Abstraction, Refinement and Proof for Probabilistic Systems (eBook, PDF) Abstraction, Refinement and Proof for Probabilistic Systems (eBook, PDF)](https://bilder.buecher.de/produkte/37/37287/37287114m.jpg)
eBook, PDF
27. Oktober 2005
Springer New York
![Abstraction, Refinement and Proof for Probabilistic Systems Abstraction, Refinement and Proof for Probabilistic Systems](https://bilder.buecher.de/produkte/32/32220/32220323m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2312-7
![The Science of Quantitative Information Flow The Science of Quantitative Information Flow](https://bilder.buecher.de/produkte/53/53096/53096157m.jpg)
Gebundenes Buch
1st ed. 2020
23. September 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-319-96129-3
Ähnliche Artikel
![A Discipline of Multiprogramming A Discipline of Multiprogramming](https://bilder.buecher.de/produkte/36/36938/36938118m.jpg)
Broschiertes Buch
Programming Theory for Distributed Applications
Softcover reprint of the original 1st ed. 2001
5. September 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-6427-9
![Software Reliability Methods Software Reliability Methods](https://bilder.buecher.de/produkte/32/32177/32177297m.jpg)
Broschiertes Buch
2001
9. Oktober 2011
Springer / Springer New York / Springer, Berlin
978-1-4419-2876-4
![Reliabilities of Consecutive-K Systems Reliabilities of Consecutive-K Systems](https://bilder.buecher.de/produkte/24/24535/24535194m.jpg)
Gebundenes Buch
2000
30. November 2000
Springer / Springer US / Springer, Berlin
978-0-7923-6661-4
![Reliabilities of Consecutive-k Systems Reliabilities of Consecutive-k Systems](https://bilder.buecher.de/produkte/36/36121/36121868m.jpg)
Broschiertes Buch
2000
17. September 2011
Springer / Springer US / Springer, Berlin
978-1-4613-7972-0
![Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems](https://bilder.buecher.de/produkte/22/22922/22922900m.jpg)
Broschiertes Buch
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
2007
25. Mai 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12072873,978-3-540-72919-8
![Network Performance Analysis Network Performance Analysis](https://bilder.buecher.de/produkte/22/22770/22770171m.jpg)
Gebundenes Buch
Using the J Programming Language
2008 edition
5. Oktober 2007
Springer / Springer London / Springer, Berlin
11665045,978-1-84628-822-7
![Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems](https://bilder.buecher.de/produkte/26/26328/26328390m.jpg)
Broschiertes Buch
Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings
2009
25. Mai 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12687480,978-3-642-02137-4
![Geospatial Semantics and the Semantic Web Geospatial Semantics and the Semantic Web](https://bilder.buecher.de/produkte/32/32759/32759896m.jpg)
Gebundenes Buch
Foundations, Algorithms, and Applications
2011
1. Juli 2011
Springer / Springer US / Springer, Berlin
80035554,978-1-4419-9445-5
![Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems](https://bilder.buecher.de/produkte/23/23899/23899249m.jpg)
Broschiertes Buch
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
2008
29. Mai 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12278145,978-3-540-68862-4
Ähnlichkeitssuche: Fact®Finder von OMIKRON