Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

Einband:
Kartonierter Einband
EAN:
9783824421015
Untertitel:
Diss.
Genre:
Datenkommunikation & Netzwerke
Autor:
Peter Herrmann
Herausgeber:
Deutscher Universitätsverlag
Anzahl Seiten:
276
ISBN:
978-3-8244-2101-5

Autorentext
Dr. Peter Herrmann ist seit 1990 wissenschaftlicher Angestellter des Fachbereichs Informatik, Universität Dortmund. Er promovierte 1997 bei Professor Dr. Heiko Krumm an der Universität Dortmund.

Zusammenfassung
Die Entwicklung geeigneter Transferprotokolle ist eine wesentliche Aufgabe in der Hochleistungskommunikation. Wegen ihrer hohen Komplexität ist jedoch der Entwurf der Protokolle schwierig und führt häufig zu fehlerhaften Implementierungen.

Inhalt
Hochleistungsprotokolle - Formale und funktionale Entwurfsmethoden - Kompositionale Spezifikation und strukturierte Verifikation - Framework für Hochleistungstransportkontrolle - Eine Anwendung: XTP 4.0


billigbuch.ch sucht jetzt für Sie die besten Angebote ...


Die aktuellen Verkaufspreise von 5 Onlineshops werden in Realtime abgefragt.

Sie können das gewünschte Produkt anschliessend direkt beim Anbieter Ihrer Wahl bestellen.


Feedback