Drucken
Speichern
Permalink
LesezeichendiensteKatalog der UB UniBw M (1/1)
Compositional stochastic process algebra models: a focus on model repair and rate lifting
Autor/Hrsg./Bearb.: Soltanieh, Amin
Ausgabe: 1. Auflage
Ort, Verlag, Jahr: München, Verlag Dr. Hut, 2023
Umfang: xvi, 154 Seiten Illustrationen, Diagramme
ISBN: 9783843953320 , 3843953325
Schlagwort: Prozessalgebra / Stochastisches Modell / Algorithmus
Signatur: Mag/2023.2895
| Autor/Hrsg./Bearb.: |
Soltanieh, Amin
|
|---|---|
| Titel: | Compositional stochastic process algebra models: a focus on model repair and rate lifting |
| Von: | Amin Soltanieh |
| Institution: | Verlag Dr. Hut (München) |
| Ausgabe: | 1. Auflage |
| Ort: | München |
| Verlag: | Verlag Dr. Hut |
| Jahr: | 2023 |
| Umfang: |
xvi, 154 Seiten |
| Details: |
Illustrationen, Diagramme |
| Format: | 24 cm x 17 cm, 335 g |
| Anmerkungen: | Literaturverzeichnis Seite [133]-141 |
| Hochschulschrift: | Dissertation, Universität der Bundeswehr München, Neubiberg, 2022 |
| Hochschulschrift: | Dissertation |
| _Name der Institution: | Universität der Bundeswehr München, Neubiberg |
| _Jahr: | 2022 |
| ISBN: | 9783843953320 |
| Preis/Einband: | Paperback : EUR 84.00 (DE), EUR 86.40 (AT) |
| ISBN: | 3843953325 |
| Notation: | KYB260 |
| Notation: | MAT720 |
| Schlagwort: |
Prozessalgebra ;
Stochastisches Modell ;
Algorithmus |
| Angaben zum Inhalt/Datenträger: | Hochschulschrift |
| Sach-Stichwort: | Stochastic Process Algebra Model Checking Rate Lifting Algorithm |
| Sprache: | Englisch |
| RVK-Notation: | |
| Beschreibung: | http://deposit.dnb.de/cgi-bin/dokserv?id=c7935a5959234e0dbce948c5c94a0879&prov=M&dok_var=1&dok_... |
| URL: | http://www.dr.hut-verlag.de/978-3-8439-5332-0.html |
| Katkey: | 1973293 |
