Protocol Engineering - Taschenbuch
2014, ISBN: 3642440932
[EAN: 9783642440939], Neubuch, [PU: Springer Berlin Heidelberg], PROTOCOLTESTING; PROTOCOLVERIFICATION; PROTOCOLS; REACHABILITYANALYSIS; SERVICES; TEMPORALLOGICS; ASN.1; LOTOS; MSC; SDL; … Mehr…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Protocol Engineering - Taschenbuch
2014, ISBN: 9783642440939
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], Communication protocols form the operational basis of computer networks and telecommunication systems. The… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Protocol Engineering / Hartmut König / Taschenbuch / Paperback / XVI / Englisch / 2014 / Springer Berlin / EAN 9783642440939 - Taschenbuch
2014, ISBN: 9783642440939
[ED: Taschenbuch], [PU: Springer Berlin], Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that descri… Mehr…
booklooker.de |
Protocol Engineering | Hartmut König | Taschenbuch | Paperback | XVI | Englisch | 2014 | Springer Berlin | EAN 9783642440939 - Taschenbuch
2014, ISBN: 9783642440939
[ED: Taschenbuch], [PU: Springer Berlin], Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that descri… Mehr…
booklooker.de |
Protocol Engineering - Taschenbuch
2014, ISBN: 9783642440939
Buch, Softcover, 2012, [PU: Springer Berlin], Springer Berlin, 2014
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Protocol Engineering - Taschenbuch
2014, ISBN: 3642440932
[EAN: 9783642440939], Neubuch, [PU: Springer Berlin Heidelberg], PROTOCOLTESTING; PROTOCOLVERIFICATION; PROTOCOLS; REACHABILITYANALYSIS; SERVICES; TEMPORALLOGICS; ASN.1; LOTOS; MSC; SDL; … Mehr…
König, Hartmut:
Protocol Engineering - Taschenbuch2014, ISBN: 9783642440939
[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], Communication protocols form the operational basis of computer networks and telecommunication systems. The… Mehr…
Protocol Engineering / Hartmut König / Taschenbuch / Paperback / XVI / Englisch / 2014 / Springer Berlin / EAN 9783642440939 - Taschenbuch
2014
ISBN: 9783642440939
[ED: Taschenbuch], [PU: Springer Berlin], Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that descri… Mehr…
Protocol Engineering | Hartmut König | Taschenbuch | Paperback | XVI | Englisch | 2014 | Springer Berlin | EAN 9783642440939 - Taschenbuch
2014, ISBN: 9783642440939
[ED: Taschenbuch], [PU: Springer Berlin], Communication protocols form the operational basis of computer networks and telecommunication systems. They are behavior conventions that descri… Mehr…
Protocol Engineering - Taschenbuch
2014, ISBN: 9783642440939
Buch, Softcover, 2012, [PU: Springer Berlin], Springer Berlin, 2014
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Protocol Engineering
EAN (ISBN-13): 9783642440939
ISBN (ISBN-10): 3642440932
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: Springer Berlin
Buch in der Datenbank seit 2014-11-15T21:21:12+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-12T12:38:13+01:00 (Berlin)
ISBN/EAN: 3642440932
ISBN - alternative Schreibweisen:
3-642-44093-2, 978-3-642-44093-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hartmut, könig, kon
Titel des Buches: engineering protocol
Daten vom Verlag:
Autor/in: Hartmut König
Titel: Protocol Engineering
Verlag: Springer; Springer Berlin
528 Seiten
Erscheinungsjahr: 2014-11-09
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Gewicht: 0,825 kg
Sprache: Englisch
85,59 € (DE)
87,99 € (AT)
94,50 CHF (CH)
POD
XVI, 528 p.
BC; Computer Communication Networks; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; 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; Software Engineering/Programming and Operating Systems; Computer Communication Networks; Software Engineering; Software Engineering; BB
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 protocol to 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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783322800664 Protocol Engineering (Hartmut König)
- 9783322800664 Protocol Engineering (Hartmut König)
- 9783322839794 Protocol engineering (Jürgen M. Schneider)
- 9783642291449 Protocol Engineering (Hartmut König)
- 9783528052430 Protocol engineering (Jürgen M. Schneider)
- 9783519004547 Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen (Leitfäden der Informatik) (German Edition) (XLeitfäden der Informatik) (K\xf6nig, Hartmut)
< zum Archiv...