Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1205021604
Treffer 1 von 1
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/1205021604 |
| Titel | Towards an Isabelle theory for distributed, interactive systems : the untimed case / Jens Christoph Bürger [und 6 andere] |
| Person(en) |
Bürger, Jens Christoph (Verfasser) Stüber, Sebastian (Verfasser) Raco, Deni (Verfasser) Rumpe, Prof. Dr. rer. nat. Bernhard (Herausgeber) Kausch, Hendrik (Verfasser) Ringert, Jan Oliver (Verfasser) Wiartalla, Marc (Verfasser) |
| Organisation(en) | Shaker Verlag (Verlag) |
| Ausgabe | [1. Auflage] |
| Verlag | Düren : Shaker Verlag |
| Zeitliche Einordnung | Erscheinungsdatum: 2020 |
| Umfang/Format | 254 Seiten ; 24 cm, 390 g |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Stüber, Sebastian: Towards an Isabelle Theory for distributed, interactive systems |
| ISBN/Einband/Preis |
978-3-8440-7265-5 Broschur : EUR 35.80 (DE), EUR 35.80 (AT), CHF 44.80 (freier Preis) 3-8440-7265-9 |
| EAN | 9783844072655 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Aachener Informatik-Berichte, Software-Engineering ; Band 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 |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2020 A 26899 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2020 A 70274 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 1 von 1