Model checking compositional Markov systems
Johr, Sven 2008 Shaker
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/988568969
- Titel
- Model checking compositional Markov systems
- Art des Inhalts
- Monographie
- Verfassangaben
- Sven Johr
- Autor
- Johr, Sven
- Verlag
- Aachen : Shaker [2008]
- Jahr
- Erscheinungsdatum: 2008
- Umfang/Format
- XVI, 213 S.
- ISBN/Einband/Preis
9783832271657- Online
- https://d-nb.info/988568969/04
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- Zugl.: Saarbrücken, Univ., Diss., 2007
- Stand
- 16.07.2018 01:26
- Im Katalog seit
- 06.03.2026