Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: swiRef=041295528
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1196490139 |
Art des Inhalts | Hochschulschrift |
Titel | Ein CAD-System zum formal basierten, automatischen Entwurf von Kommunikationsprozessoren aus abstrakten Zeitdiagrammspezifikationen / Stefan Lenk |
Person(en) | Lenk, Stefan (Verfasser) |
Verlag | Aachen : Shaker |
Zeitliche Einordnung | Erscheinungsdatum: 2000 |
Umfang/Format | Online-Ressource, 273 Seiten : 66 Abb. (pdf) |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Ein CAD-System zum formal basierten, automatischen Entwurf von Kommunikationsprozessoren aus abstrakten Zeitdiagrammspezifikationen |
Persistent Identifier | URN: urn:nbn:de:101:1-2019100610045709364761 |
ISBN/Einband/Preis | 978-3-8265-7445-0 |
Sprache(n) | Deutsch (ger) |
Beziehungen | Berichte aus der Informatik |
Schlagwörter |
Verteiltes System ; Kommunikationsprozessor ; Entwurfsautomation ; Formale Spezifikationstechnik ; Datenfluss ; Kontrollfluss Verteiltes System ; Kommunikationsprozessor ; Entwurfsautomation ; Formale Spezifikationstechnik ; Grafische Darstellung ; Zeitverhalten |
Online-Zugriff | Archivobjekt öffnen |
