Bis zu 50 % günstiger als neu 3 Jahre rebuy Garantie Professionelles Refurbishment

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Protocol Engineering

Hartmut König (Taschenbuch, Englisch)

Keine Bewertungen vorhanden

Weitere Ausgaben

Optischer Zustand

Beschreibung

Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that describe how communication systems interact with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they determine the efficiency and reliability of computer networks. Protocol Engineering is an important discipline covering the design, validation, and implementation of communication protocols.Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, protocol, layer, and layered architecture, and introduces the main elements required in the description of protocols using a model language. He then presents the most important protocol functions. Part II deals with the description of communication protocols, offering an overview of the various formal methods, the essence of Protocol Engineering. The author introduces the fundamental description methods, such as finite state machines, Petri nets, process calculi, and temporal logics, that are in part used as semantic models for formal description techniques. He then introduces one representative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing protocols. Part III covers the protocol life cycle and the most important development stages, presenting the reader with approaches for systematic protocol design, with various verification methods, with the main implementation techniques, and with strategies for their testing, in particular with conformance and interoperability tests, and the test description language TTCN. The author uses the simple data transfer example protocol XDT (eXample Data Transfer) throughout the book as a reference protocolto exemplify the various description techniques and to demonstrate important validation and implementation approaches.The book is an introduction to communication protocols and their development for undergraduate and graduate students of computer science and communication technology, and it is also a suitable reference for engineers and programmers. Most chapters contain exercises, and the author's accompanying website provides further online material including a complete formal description of the XDT protocol and an animated simulation visualizing its behavior. Weniger zeigen

85,59 €

Taschenbuch | Neu

oder

Auf Lager

Versandbereit in 1-2 Werktagen

zzgl.

Du kannst wie immer einen Kaufalarm setzen, wenn du auf das gebrauchte Buch warten möchtest.

Auf Lager

Versandbereit in 1-2 Werktagen

zzgl.

Handgeprüfte Gebrauchtware

Bis zu 50 % günstiger als neu

Der Umwelt zuliebe

Produktinformationen

Technische Daten

Erscheinungsdatum

09.11.2014

Sprache

Englisch

EAN

9783642440939

Herausgeber

Springer Berlin

Sonderedition

Nein

Autor

Hartmut König

Seitenanzahl

528

Auflage

Einbandart

Taschenbuch

Autorenporträt

Prof. Hartmut König holds the chair in Computer Networks and Communication Systems at the Brandenburg University of Technology (btu) in Cottbus. He has published over 100 research papers and articles, and authored or edited 7 books in the area of communuications and distributed systems. His research interests include high-performance communications (multimedia communication, videoconferencing), protocol engineering (automatic implementation, test), formal methods, and network security (intrusion detection).

Schlagwörter

ASN.1, LOTOS, MSC, SDL, TTCN-2, TTCN-3, UML 2, algebraic verification, cTLA, communication protocols, conformance test, finite state machines, formal description methods, formal description techniques, internet protocol stack, interoperability test, layered architectures, model checking, performance evaluation, petri net analysis, petri nets, process calculi, protocol design, protocol functions, protocol implementation methods, protocol life cycle, protocol specification, protocol testing, protocol verification, protocols, reachability analysis, services, temporal logics

Thema-Inhalt

UKN - Netzwerk-Hardware UMZ - Software Engineering

Höhe

235 mm

Breite

15.5 cm

Hersteller: Springer Nature Customer Service Center GmbH, ProductSafety@springernature.com

Warnhinweise und Sicherheitsinformationen

Informationen nach EU Data Act

Bewertungen

-.-

Leider noch keine Bewertungen

Sicher bei rebuy kaufen

Sehr Gut, 4.52/5.00

Aus 200.000+ Bewertungen

Schreib die erste Bewertung für dieses Produkt!

Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!