Katalog der UB UniBw M (1/1)
Compositional stochastic process algebra models: a focus on model repair and rate lifting
Soltanieh, Amin1. Auflage
9783843953320 3843953325
Prozessalgebra Stochastisches Modell Algorithmus
Buch
-
Exemplare
/TouchPoint/statistic.dostatisticcontext=fullhit&action=holding_tab
-
Das will ich haben
/TouchPoint/statistic.dostatisticcontext=fullhit&action=availability_tab
-
mehr zum Titel
/TouchPoint/statistic.dostatisticcontext=fullhit&action=availability_tab
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 |
Willkommen
Herzlich Willkommen in der Universitätsbibliothek der Universität der Bundeswehr München. Hinweise auf Neuigkeiten, Veranstaltungen und sonstige aktuelle Informationen finden Sie im Menüpunkt "Aktuelles".
Verkürzte Öffnungszeiten
Bitte beachten Sie unsere verkürzten Öffnungszeiten:
08.07.2024 - 13.09.2024: Weitere Informationen finden Sie hier
Mo - Fr: 09:00 bis 16:00 Uhr