Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
CHF 54.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Pinger, Ralf (Hrsg.)
- ISBN: 978-3-642-32469-7
- EAN: 9783642324697
- Produktnummer: 33317662
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 223 S.
- Plattform: PDF
- Masse: 6'779 KB
- Auflage: 2012
- Abbildungen: 87 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 7437
8 weitere Werke von Mariëlle (Hrsg.) Stoelinga:
Stochastic Model Checking
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
Ebook (PDF Format)
CHF 57.00
Bewertungen
Anmelden