Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 345 von 10211
|
|
| Link zu diesem Datensatz | https://d-nb.info/1211930831 |
| Titel | Towards an Isabelle Theory for distributed, interactive systems : The untimed case / Sebastian Stüber, Deni Raco, Jens Christoph Bürger, Hendrik Kausch, Jan Oliver Ringert [und weitere] |
| Person(en) |
Stüber, Sebastian (Verfasser) Raco, Deni (Verfasser) Rumpe, Prof. Dr. rer. nat. Bernhard (Herausgeber) Bürger, Jens Christoph (Verfasser) Kausch, Hendrik (Verfasser) Ringert, Jan Oliver (Verfasser) Wiartalla, Marc (Verfasser) |
| Organisation(en) | Shaker Verlag (Verlag) |
| Ausgabe | 1. Auflage |
| Verlag | Düren : Shaker |
| Zeitliche Einordnung | Erscheinungsdatum: 2020 |
| Umfang/Format | Online-Ressource, 260 Seiten (pdf) |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Bürger, Jens Christoph: Towards an Isabelle theory for distributed, interactive systems |
| Hochschulschrift | Dissertation, RWTH Aachen University, 2020 |
| Persistent Identifier | URN: urn:nbn:de:101:1-2020061405211804958575 |
| ISBN/Einband/Preis | 978-3-8440-7265-5 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Aachener Informatik Berichte Software Engineering ; 45 |
| Schlagwörter | Isabelle <Programm> ; HOL ; Verifikation ; Formale Methode ; Message-Passing ; Datenstrom ; Verteiltes System |
| DDC-Notation | 004.0151 [DDC23ger]; 005.71 [DDC23ger] |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 345 von 10211
Administration
