Validation of Stochastic Systems
A Guide to Current Research
CHF 116.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Haverkort, Boudewijn R. (Hrsg.) / Hermanns, Holger (Hrsg.) / Katoen, Joost-Pieter (Hrsg.) / Siegle, Markus (Hrsg.)
- ISBN: 978-3-540-24611-4
- EAN: 9783540246114
- Produktnummer: 37146259
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 472 S.
- Plattform: PDF
- Auflage: 2004
- Reihenbandnummer: 2925
10 weitere Werke von Christel (Hrsg.) Baier:
SOFSEM 2017: Theory and Practice of Computer Science
A Guide to Current Research
A Guide to Current Research
Ebook (PDF Format)
CHF 94.50
Formal Techniques for Distributed Objects, Components, and Systems
A Guide to Current Research
A Guide to Current Research
Ebook (PDF Format)
CHF 59.00
Tools and Algorithms for the Construction and Analysis of Systems
A Guide to Current Research
A Guide to Current Research
Ebook (PDF Format)
CHF 94.50
Bewertungen
Anmelden