Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Martin" and "Schmitz"
Treffer 6 von 27
|
|
| Link zu diesem Datensatz | https://d-nb.info/1100310495 |
| Art des Inhalts | Hochschulschrift |
| Titel | Verteilte Laufzeitverifikation auf eingebetteten Systemen : Logiken und Monitorkonstruktionen für asynchrone Prozesse / Malte Schmitz ; mit einem Geleitwort von Prof. Dr. Martin Leucker |
| Person(en) | Schmitz, Malte (Verfasser) |
| Organisation(en) | Springer Fachmedien Wiesbaden (Verlag) |
| Verlag | Wiesbaden : Springer Vieweg |
| Zeitliche Einordnung | Erscheinungsdatum: [2016] |
| Umfang/Format | xxiii, 163 Seiten : Illustrationen ; 21 cm, 254 g |
| Andere Ausgabe(n) |
Erscheint auch als Online-Ausgabe: ISBN: 9783658128524 Erscheint auch als Online-Ausgabe: Schmitz, Malte: Verteilte Laufzeitverifikation auf eingebetteten Systemen |
| Hochschulschrift | Dissertation, Universität Lübeck |
| ISBN/Einband/Preis |
978-3-658-12851-7 Broschur : EUR 61.67 (AT), sfr 62.00 (freier Preis), EUR 59.99 (DE) 3-658-12851-8 |
| Bestellnummer(n) | Bestellnummer: 978-3-658-12851-7 |
| EAN | 9783658128517 |
| Sprache(n) | Deutsch (ger) |
| Beziehungen | BestMasters |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen |
Inhaltstext Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2016 A 42863 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2016 A 61886 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 6 von 27
Administration
