Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "113726414"
Treffer 3 von 103
|
|
| Link zu diesem Datensatz | https://d-nb.info/1368091229 |
| Titel | Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2 / Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber [und weitere] |
| Person(en) |
Kausch, Hendrik (Verfasser) Pfeiffer, Mathias (Verfasser) Raco, Deni (Verfasser) Rumpe, Bernhard (Verfasser) Stüber, Sebastian (Verfasser) Wollenhaupt, Lucas (Verfasser) |
| Organisation(en) | Shaker Verlag (Verlag) |
| Ausgabe | 1. Auflage |
| Verlag | Düren : Shaker |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Umfang/Format | 171 Seiten : 18 Illustrationen ; 24 cm, 346 g |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Kausch, Hendrik: Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2 |
| ISBN/Einband/Preis |
978-3-8440-9984-3 Broschur : EUR 30.80 (DE), EUR 30.80 (AT), CHF 38.60 (freier Preis) 3-8440-9984-0 |
| EAN | 9783844099843 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Aachener Informatik Berichte Software Engineering ; 58 |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen |
Inhaltstext Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2025 A 27388
Bereitstellung in Frankfurt |
| Leipzig | Publikation im Haus und in Bearbeitung |
Treffer 3 von 103
Administration
